An open API service for providing issue and pull request metadata for open source projects.

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

#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

#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

#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

#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

#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

#60261 - Add offset and end to `NodeList`

Issue - State: closed - Opened by FMorschel 9 months ago - 3 comments
Labels: area-dart-model