Open
Description
When contributing some class rename dart fix
fixes for package:web, a rename is not offered for as
casts:
import 'package:web/web.dart';
void main() {
final HtmlDocument foo = document; // Rename (from HtmlDocument => Document) _is_ offered here
final doc = document as HtmlDocument; // Rename not offered here (but should be)
final div = doc.querySelector('div')!;
div.text = 'Text set at ${DateTime.now()}';
}
More context in dart-lang/web#141.
cc @keertip
Metadata
Metadata
Assignees
Labels
A lower priority bug or feature requestFor issues related to the analysis server, IDE support, linter, `dart fix`, and diagnostic messages.Issues with the dartfix packageIssues with the analysis server's support for data-driven fixesIncorrect behavior (everything from a crash to more subtle misbehavior)