Type arguments that violate bounds don't produce static warnigns #3273
Labels
area-analyzer
Use area-analyzer for Dart analyzer issues, including the analysis server and code completion.
closed-obsolete
Closed as the reported issue is no longer relevant
Milestone
Comments
|
Added Area-Analyzer, Triaged labels. |
|
Added this to the M1 milestone. |
|
The listed tests are currently passing and there are no tests marked as failing because of this issue. Added AssumedStale label. |
|
This comment was originally written by alexe.kaigorodov@gmail.com Language/09_Generics/09_Generics_A03_t01.dart fails because of this issue. |
DartBot
added
Type-Defect
area-analyzer
copybara-service bot
pushed a commit
that referenced
this issue
Jan 19, 2023
This is an accumulation of 12 commits to dartdoc, imported into dart-lang/sdk across 4 commits, noted below. I've also stripped out the changes made to any other repository in this DEPS file. Revisions updated by `dart tools/rev_sdk_deps.dart`. From cabf333: dartdoc (https://github.com/dart-lang/dartdoc/compare/eb90a44..1f42216): 1f422163 2022-12-13 Sam Rawlins Bump to 6.1.5 (#3274) From a3b7a76: eb90a44c 2022-12-12 Sam Rawlins Remove annotations from the features section of each element (#3268) 16126376 2022-12-12 Parker Lougheed Don't show null in search results when no description (#3273) 3ff7aa75 2022-12-12 Sam Rawlins Fix search arrows by using a flat list of suggestions (#3271) 90264fb4 2022-12-12 dependabot[bot] Bump github/codeql-action from 2.1.35 to 2.1.36 (#3270) bede500d 2022-12-12 Sam Rawlins Fix remote linking in 2.18 and 3.0.0 (#3267) From 0c14719: dartdoc (https://github.com/dart-lang/dartdoc/compare/4d7dc93..f2bb6e9): f2bb6e92 2022-12-07 Sam Rawlins Bump to 6.1.4 (#3266) From 3a1d7c7: dartdoc (https://github.com/dart-lang/dartdoc/compare/dc502d0..4d7dc93): 4d7dc93b 2022-12-05 dependabot[bot] Bump github/codeql-action from 2.1.31 to 2.1.35 (#3263) bcf8b6e8 2022-12-05 Parker Lougheed Weight enums the same as classes for searching (#3260) 7d95578b 2022-12-04 Parker Lougheed Update template descriptions (#3258) d558f043 2022-12-04 Parker Lougheed Fix error when using base element href (#3256) c3663762 2022-12-04 Parker Lougheed Add unnecessary override ignore to fix build (#3257) Change-Id: I21fc9ecd36db78b7ef420bd179af4907e667557d Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/279320 Reviewed-by: Kevin Moore <kevmoo@google.com> Commit-Queue: Kevin Chisholm <kevinjchisholm@google.com>
This issue was closed.
# for free
to join this conversation on GitHub.
Already have an account?
# to comment
This issue was originally filed by ms...@unipro.ru
What steps will reproduce the problem?
Run the following test with dartc:
class F1 {}
class F2 extends F1 {}
class A <F extends F2> {}
main() {
A<F1> a;
}
What is the expected output? What do you see instead?
Expected: static warning, F1 does not extend F2.
Actual: no static warnings.
What version of the product are you using? On what operating system?
Dartc, r8026. OS Ubuntu 10.04
Please provide any additional information below.
co19 tests:
Language/13_Types/8_Parameterized_Types_A03_t03.dart
Language/13_Types/8_Parameterized_Types_A03_t05.dart
The text was updated successfully, but these errors were encountered: