GitHub / dart-lang/sdk issues and pull requests
Labelled with: area-dart-model
#61628 - Compiler - `[]=` Return-Type False-Positive Error
Issue -
State: closed - Opened by RohitSaily about 2 months ago
- 2 comments
Labels: type-bug, area-dart-model
#61572 - [Closure Contexts in Kernel AST]
Issue -
State: open - Opened by chloestefantsova 2 months ago
Labels: area-vm, area-dart-model
#61556 - Analyzer type name clash disambiguator does not kick in when types are not exactly the same.
Issue -
State: closed - Opened by mraleph 2 months ago
- 3 comments
Labels: area-dart-model
#61520 - 'should lint' should not be an analysis options property
Issue -
State: open - Opened by srawlins 2 months ago
Labels: analyzer-technical-debt, area-dart-model
#61487 - [Static Extensions] Analyzer Implementation
Issue -
State: open - Opened by chloestefantsova 3 months ago
Labels: model-features, area-dart-model, feature-static-extensions
#61479 - Void arguments are allowed in dynamic invocations by the Analyzer
Issue -
State: closed - Opened by chloestefantsova 3 months ago
- 2 comments
Labels: area-dart-model
#61429 - No error in CFE for definitely unassigned variable after `Never`
Issue -
State: open - Opened by sgrekhov 3 months ago
Labels: area-dart-model, model-flow
#61428 - Analyzer crash on `co19/TypeSystem/flow-analysis/reachability_for_A01_t01`
Issue -
State: closed - Opened by sgrekhov 3 months ago
- 2 comments
Labels: analyzer-crash-report, area-dart-model, model-flow
#61409 - The analyzer parses files up to three times
Issue -
State: open - Opened by bwilkerson 3 months ago
Labels: type-performance, area-dart-model
#61394 - `analyzer` package: `AnnotatedNode` coverage
Issue -
State: closed - Opened by RohitSaily 3 months ago
- 2 comments
Labels: analyzer-api, area-dart-model
#61370 - [analyzer] Surprising discrepancy when reporting a bound violation
Issue -
State: open - Opened by eernstg 3 months ago
Labels: soundness, dart-model-analyzer-spec, area-dart-model
#61294 - Unnamed extensions don't evaluate values
Issue -
State: closed - Opened by FMorschel 4 months ago
- 3 comments
Labels: area-vm, P2, triaged, area-dart-model
#61257 - Can't run the Analyzer, consistently terminates with : An unexpected error was encountered by the Analysis Server.
Issue -
State: closed - Opened by byezy 4 months ago
- 4 comments
Labels: closed-duplicate, area-dart-model
#61251 - Confusing "dead code" highlight for property access on always null objects
Issue -
State: closed - Opened by rrousselGit 4 months ago
- 2 comments
Labels: improve-diagnostics, area-dart-model, model-flow
#61233 - Tag kernel binaries with target and transformation stage and check if binary is appropriate when loading
Issue -
State: open - Opened by alexmarkov 4 months ago
Labels: area-vm, area-dart-model
#61229 - The analysis server crashes on a null value check
Issue -
State: closed - Opened by mmcheng55 4 months ago
- 3 comments
Labels: area-dart-model
#61178 - Potential dependency of the coverage tools on the platform it's run on
Issue -
State: open - Opened by chloestefantsova 4 months ago
Labels: cfe-testing, area-dart-model
#61171 - Unfortunate interference between coverage_suite.dart and analyze_src_with_lints_git_test
Issue -
State: open - Opened by chloestefantsova 4 months ago
Labels: area-dart-model
#61165 - `AnalysisDriverScheduler` retains events if there is no subscriber
Issue -
State: closed - Opened by davidmorgan 4 months ago
- 2 comments
Labels: area-dart-model, model-performance
#61158 - CFE makes impossible suggestion to user when rejecting code due to incompatible signatures in desugared mixin application
Issue -
State: open - Opened by stereotype441 4 months ago
Labels: model-messages, area-dart-model
#61156 - CFE gives a misleading explanation when rejecting code due to incompatible signatures in desugared mixin application
Issue -
State: open - Opened by stereotype441 4 months ago
Labels: model-messages, area-dart-model
#61122 - lint false negative - use_null_aware_elements -
Issue -
State: closed - Opened by kevmoo 4 months ago
- 2 comments
Labels: feature-null-aware-elements, linter-false-negative, area-dart-model
#61046 - Analyzer: Could `DartObjects` contain metadata about how the object was created?
Issue -
State: open - Opened by rrousselGit 5 months ago
- 2 comments
Labels: area-dart-model
#61044 - [analyzer] Failed to send `analysis.implemented` notification in IntelliJ
Issue -
State: closed - Opened by parlough 5 months ago
- 2 comments
Labels: model-crashes, area-dart-model
#61026 - Why is `Element2.name3` always nullable?
Issue -
State: closed - Opened by rrousselGit 5 months ago
- 5 comments
Labels: type-question, area-dart-model
#61015 - Implement better failure presentation for text based expectations
Issue -
State: closed - Opened by scheglov 5 months ago
- 1 comment
Labels: type-enhancement, dart-model-analyzer-package, area-dart-model
#61013 - dart analyze chokes on extra parentheses
Issue -
State: closed - Opened by jlahd 5 months ago
- 2 comments
Labels: model-crashes, area-dart-model
#61010 - Dart Analysis Server crashes with "Null check operator used on a null value" during dart fix on large multi-module projects
Issue -
State: closed - Opened by FadibouteraaKeyrus 5 months ago
- 6 comments
Labels: type-bug, area-dart-model
#60993 - Record: Include Dartdoc on Record fields if they are associated to a typedef
Issue -
State: open - Opened by rrousselGit 5 months ago
- 2 comments
Labels: area-dart-model
#60992 - Consider having "go-to-definition" on Records redirect to the associated typedef
Issue -
State: open - Opened by rrousselGit 5 months ago
- 3 comments
Labels: area-dart-model
#60977 - Null check error in PrefixScope._merge
Issue -
State: closed - Opened by eseidel 5 months ago
- 3 comments
Labels: area-dart-model
#60974 - Unexpected error encountered by Analysis Server for a Flutter project
Issue -
State: closed - Opened by sikrinick 5 months ago
- 11 comments
Labels: area-dart-model
#60962 - [Dot Shorthands] `non_constant_default_value`
Issue -
State: closed - Opened by RohitSaily 5 months ago
- 1 comment
Labels: type-bug, feature-dot-shorthands, area-dart-model
#60947 - Improve parser recovery for trailing name in field declaration
Issue -
State: open - Opened by scheglov 5 months ago
Labels: model-parser, area-dart-model
#60915 - Private forwarding constructors not fully supported
Issue -
State: open - Opened by johnniwinther 6 months ago
Labels: area-dart-model
#60908 - Incorrect type checking for default values of closure parameters that are type inferred
Issue -
State: open - Opened by stereotype441 6 months ago
Labels: soundness, area-dart-model, model-inference
#60906 - Missing Super-as-Expression Error in VSCode
Issue -
State: open - Opened by RohitSaily 6 months ago
- 1 comment
Labels: area-dart-model
#60861 - Super void parameter throws This expression has type 'void' and can't be used
Issue -
State: open - Opened by FMorschel 6 months ago
- 4 comments
Labels: P2, cfe-dysfunctionalities, area-dart-model
#60856 - Analysis server crash during `dart fix`
Issue -
State: open - Opened by eernstg 6 months ago
- 1 comment
Labels: area-dart-model
#60845 - Analyzer crash: Null check operator used on a null value
Issue -
State: closed - Opened by scribetw 6 months ago
- 6 comments
Labels: model-crashes, area-dart-model
#60841 - Wildcard method parameters are appearing in DartScope objects.
Issue -
State: closed - Opened by nshahan 6 months ago
- 2 comments
Labels: front-end-expression-compilation, cfe-expression-compilation, feature-wildcard-variables, area-dart-model
#60840 - No access to `const` token in AST for dot shorthand const constructor call.
Issue -
State: open - Opened by munificent 6 months ago
- 6 comments
Labels: feature-dot-shorthands, area-devexp, area-dart-model
#60795 - External files are not analyzed unless I open them in IntelliJ Flutter app
Issue -
State: open - Opened by MohiuddinM 6 months ago
- 3 comments
Labels: area-dart-model
#60791 - Issue with Dart Analysis Server and Analyzer
Issue -
State: closed - Opened by moaazsalama 6 months ago
- 2 comments
Labels: model-crashes, area-dart-model
#60785 - Analyzer gets stuck analyzing this invalid code
Issue -
State: closed - Opened by DanTup 6 months ago
- 1 comment
Labels: model-parser, area-dart-model
#60784 - analyzer_plugin fails to compile with analyzer 7.4
Issue -
State: closed - Opened by lishaduck 6 months ago
- 20 comments
Labels: P0, area-devexp, area-dart-model
#60741 - Flow analysis. No promotion from `Object?` to `Null`
Issue -
State: open - Opened by sgrekhov 6 months ago
- 11 comments
Labels: area-dart-model, model-flow
#60725 - Move WorkspacePackage into analyzer public API
Issue -
State: closed - Opened by srawlins 7 months ago
- 2 comments
Labels: analyzer-api, area-dart-model
#60718 - Flow analysis. FutureOr<void> issue when testing against `void`
Issue -
State: closed - Opened by sgrekhov 7 months ago
- 6 comments
Labels: implementation, area-dart-model, model-flow
#60714 - [cfe] Not reporting an error for potentially non-const in initializer
Issue -
State: closed - Opened by kallentu 7 months ago
- 2 comments
Labels: cfe-unreported-error, area-dart-model, model-const-eval
#60686 - Failures on Revert "[model] Update handling of ?.length in constants"
Issue -
State: open - Opened by johnniwinther 7 months ago
Labels: area-dart-model, model-const-eval
#60677 - Flow analysis. Patterns match in switches
Issue -
State: closed - Opened by sgrekhov 7 months ago
- 2 comments
Labels: area-dart-model, model-flow
#60676 - [Extension type] Wrong error messages in CFE in case of invalid assignment
Issue -
State: open - Opened by sgrekhov 7 months ago
- 4 comments
Labels: improve-diagnostics, model-messages, area-dart-model
#60657 - Flow analysis. No promotion to `Never` via type test
Issue -
State: closed - Opened by sgrekhov 7 months ago
- 3 comments
Labels: area-dart-model, model-flow
#60646 - Flow analysis. Variable can be promoted to the type which is not subtype of its current type.
Issue -
State: closed - Opened by sgrekhov 7 months ago
- 6 comments
Labels: area-dart-model, model-flow
#60635 - Rename _fe_analyzer_shared's ErrorCode
Issue -
State: open - Opened by srawlins 7 months ago
- 6 comments
Labels: type-code-health, area-dart-model
#60632 - Type promotion issue with nullable functions
Issue -
State: closed - Opened by nielsenko 7 months ago
- 3 comments
Labels: area-dart-model, model-flow
#60622 - Promotion by assignment seems to use a supertype of interest
Issue -
State: closed - Opened by eernstg 7 months ago
- 4 comments
Labels: area-dart-model, model-flow
#60620 - Type of interest promotion sometimes promotes to a type that's not a subtype of the declared type
Issue -
State: closed - Opened by sgrekhov 7 months ago
- 4 comments
Labels: area-dart-model, model-flow
#60616 - Extraneous diagnostic for an argument of an invalid type in a const constructor invocation
Issue -
State: open - Opened by bwilkerson 7 months ago
Labels: area-dart-model
#60609 - Record pattern promotes fields from `void` to `Object?`
Issue -
State: open - Opened by lrhn 7 months ago
- 7 comments
Labels: type-bug, area-dart-model, model-patterns
#60595 - Analyzer >=6.4.2 <7.3.0 depends on `_macros` in SDK
Issue -
State: closed - Opened by davidmorgan 7 months ago
- 9 comments
Labels: area-dart-model
#60590 - bug in `dot-shorthands` experiment when using shorthands in an `enum` constructor arguments, or in a static field, or in a top-level variable
Issue -
State: closed - Opened by mmcdon20 7 months ago
- 4 comments
Labels: type-bug, model-features, feature-dot-shorthands, area-dart-model
#60567 - Exception in the search engine
Issue -
State: open - Opened by bwilkerson 7 months ago
Labels: area-dart-model
#60563 - Analyzer comment indicates a factory constructor can have a return type
Issue -
State: closed - Opened by srawlins 7 months ago
- 1 comment
Labels: type-documentation, area-dart-model
#60519 - Flow analysis. Promotion in try-catch statement issue
Issue -
State: open - Opened by sgrekhov 8 months ago
- 1 comment
Labels: type-question, area-dart-model, model-flow
#60516 - Poor problem and correction messages related to assignability
Issue -
State: open - Opened by bwilkerson 8 months ago
- 1 comment
Labels: P3, model-messages, area-dart-model
#60509 - [CFE] No error if `String?.length` is assigned to a constant
Issue -
State: open - Opened by sgrekhov 8 months ago
- 1 comment
Labels: cfe-dysfunctionalities, area-dart-model, model-const-eval
#60496 - Inconsistent switch promotion.
Issue -
State: open - Opened by lrhn 8 months ago
- 1 comment
Labels: area-dart-model, model-flow
#60495 - Analyzer null-reference error on invalid code "int Function(int, {void fn()})? calculate;"
Issue -
State: closed - Opened by DanTup 8 months ago
- 2 comments
Labels: area-dart-model
#60490 - Can the `kSyntheticProcedure` bit be set on `_enumToString`?
Issue -
State: open - Opened by derekxu16 8 months ago
Labels: area-dart-model
#60479 - Flow analysis fails to record types of interest when an `is` expression is not used in a conditional context
Issue -
State: open - Opened by stereotype441 8 months ago
Labels: P3, type-bug, area-dart-model, model-flow
#60445 - Overlap between `FormalParameterList.leftDelimiter` and `FormalParameterList.parameters`
Issue -
State: open - Opened by stereotype441 8 months ago
Labels: dart-model-analyzer-package, analyzer-api, analyzer-technical-debt, area-dart-model
#60438 - Implement the "sound flow analysis" feature
Issue -
State: open - Opened by eernstg 8 months ago
- 2 comments
Labels: implementation, area-dart-model
#60434 - CFE consider expression switch case "body" as part of guard.
Issue -
State: open - Opened by lrhn 8 months ago
Labels: P2, type-bug, cfe-dysfunctionalities, area-dart-model
#60424 - Analyzer incorrectly classifies certain for-in loops as dead code.
Issue -
State: open - Opened by stereotype441 8 months ago
Labels: P2, soundness, dart-model-analyzer-spec, area-dart-model, model-flow
#60423 - Missing `Comment` in `childEntries` for some `AnnotatedNode`s
Issue -
State: closed - Opened by FMorschel 8 months ago
- 1 comment
Labels: area-dart-model
#60417 - Analyzer cannot resolve instance reference on type variable, in a doc comment.
Issue -
State: open - Opened by srawlins 8 months ago
- 8 comments
Labels: type-bug, area-dart-model
#60414 - Analyzer/CFE discrepancy on for-in loops
Issue -
State: open - Opened by johnniwinther 8 months ago
Labels: area-dart-model, model-discrepancy
#60394 - Flow analysis. Variable of type `Never` in a `for-in` loop issue
Issue -
State: closed - Opened by sgrekhov 8 months ago
- 4 comments
Labels: area-dart-model, model-flow
#60389 - Flutter compiler suddenly stopped working
Issue -
State: closed - Opened by brighttank 8 months ago
- 6 comments
Labels: area-dart-model
#60388 - `prefix_shadowed_by_local_declaration` false positive
Issue -
State: open - Opened by FMorschel 8 months ago
- 10 comments
Labels: type-bug, model-error-recovery, area-dart-model
#60375 - dart2wasm incorrectly uses identity comparison in switches over Type in language version < 3.0
Issue -
State: closed - Opened by mraleph 8 months ago
- 12 comments
Labels: area-dart2wasm, cfe-encodings, area-dart-model
#60368 - [cfe] `ConstantExpression.getStaticType()` returns `DynamicType` despite the constant having more precise type
Issue -
State: open - Opened by mkustermann 8 months ago
- 6 comments
Labels: cfe-encodings, area-dart-model
#60367 - Difference in map/set collection inference between analyzer and CFE
Issue -
State: open - Opened by lrhn 8 months ago
Labels: type-bug, dart-model-analyzer-spec, area-dart-model
#60364 - Incorrect dead code range for null-aware method call with null target
Issue -
State: open - Opened by stereotype441 8 months ago
Labels: area-dart-model, model-flow
#60361 - Flow analysis. In a do-while loop an assignment in `while` after `break` is dead code
Issue -
State: closed - Opened by sgrekhov 8 months ago
- 1 comment
Labels: type-question, area-dart-model, model-flow
#60360 - `language/dot_shorthands/constructor/constructor_future_or_test` failing on VM configurations
Issue -
State: closed - Opened by bkonyi 8 months ago
- 1 comment
Labels: gardening, cfe-testing, area-dart-model
#60359 - Using a `late final` variable as loop variable for `for`/`in` gives incorrect late errors
Issue -
State: open - Opened by lrhn 8 months ago
Labels: area-dart-model
#60358 - Crash with non-identifier expression in `for (... in ...)`
Issue -
State: open - Opened by lrhn 8 months ago
Labels: area-dart-model
#60352 - Internal error: Exception while using a AvoidRedundantArgumentValues...
Issue -
State: closed - Opened by TonyD-TuftAndPaw 8 months ago
- 2 comments
Labels: P1, type-bug, area-dart-model
#60342 - Missing dead code warning
Issue -
State: open - Opened by eernstg 8 months ago
Labels: area-dart-model, model-exhaustiveness
#60330 - Unable to infer closure parameter type
Issue -
State: open - Opened by Taoduhui 9 months ago
- 3 comments
Labels: type-bug, soundness, area-dart-model, model-inference
#60322 - Flow analysis. The body of `while(false)...` is dead code
Issue -
State: closed - Opened by sgrekhov 9 months ago
- 2 comments
Labels: fe-analyzer-shared-flow-analysis, area-dart-model, model-flow
#60320 - Flow analysis. Assignment in the third operand of for(;;) loop is not detected
Issue -
State: open - Opened by sgrekhov 9 months ago
- 5 comments
Labels: area-dart-model, model-flow
#60316 - Improve feedback given when evaluating an expression that needs to read an uninitialized late variable
Issue -
State: open - Opened by derekxu16 9 months ago
Labels: area-vm, vm-debugger, type-enhancement, triaged, area-dart-model
#60270 - Can't compile without `this` inside extension.
Issue -
State: closed - Opened by ykmnkmi 9 months ago
- 2 comments
Labels: area-web, cfe-dysfunctionalities, area-dart-model
#60266 - Analysis Server Crash When Running dart fix --apply (Error in avoid_redundant_argument_values)
Issue -
State: open - Opened by mosabalrsaheed 9 months ago
- 1 comment
Labels: area-dart-model, model-const-eval
#60265 - When an expression with static type `Never` is used as a condition, flow analysis sometimes forgets that the code path is unreachable.
Issue -
State: open - Opened by stereotype441 9 months ago
Labels: area-dart-model, model-flow
#60261 - Add offset and end to `NodeList`
Issue -
State: closed - Opened by FMorschel 9 months ago
- 3 comments
Labels: area-dart-model