Commit graph

70709 commits

Author SHA1 Message Date
Alexander Markov
82236bd6ab [vm] Fix incorrect inference of non-nullability from 'is' checks
Fixes https://github.com/dart-lang/sdk/issues/40792
Fixes https://github.com/dart-lang/sdk/issues/40795

Change-Id: I0af455040e05265a025b1a424c1aac30f3476f95
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137426
Reviewed-by: Ryan Macnak <rmacnak@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>
2020-02-27 03:35:34 +00:00
Devon Carew
15a314152f [dartdev] ensure that we send absolute paths to the analysis server
Bug: https://github.com/dart-lang/sdk/issues/40797
Change-Id: I4714c51b9a66dc853ba14d4893639a390cb7f5e9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137480
Reviewed-by: Jaime Wren <jwren@google.com>
Commit-Queue: Devon Carew <devoncarew@google.com>
2020-02-27 02:50:44 +00:00
Srujan Gaddam
ccd2f7e7d1 Remove html_individual_config from lib_2/html tests
Change-Id: I4a9684096f8e6d6a9af95f8a160c532e16f1be93
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137247
Reviewed-by: Bob Nystrom <rnystrom@google.com>
2020-02-27 02:25:56 +00:00
Ryan Macnak
62396cac55 [vm] Handle sentinel in the IL serializer and Array-backed hash maps.
Fixes crashes in vm/dart when use_nnbd = true.

Change-Id: Ieeb45227208cc6219f536130df38249d902dfe7f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137462
Reviewed-by: Siva Annamalai <asiva@google.com>
Commit-Queue: Ryan Macnak <rmacnak@google.com>
2020-02-27 01:43:24 +00:00
Ben Konyi
3d6c8ccbda [ VM ] Fix file_test type errors
Change-Id: I438ff8b7a1a66714415d88ade87611e8ffe829b0
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137430
Reviewed-by: Ben Konyi <bkonyi@google.com>
2020-02-27 01:30:31 +00:00
Nicholas Shahan
4017a5ca7c [dartdevc] Fix analysis error in dart:collection patch file
If hashcode is null it gets set on line 128 to dart.hashcode which
is a top level method in the dart:_runtime library.

Change-Id: Ib26a70dc84305dfa11eb15206abd36f003adcd9b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137401
Auto-Submit: Nicholas Shahan <nshahan@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>
Commit-Queue: Nicholas Shahan <nshahan@google.com>
2020-02-27 01:19:14 +00:00
Konstantin Shcheglov
9e4000e44b Issue 40603. Update MockSdk to stop returning null from factories.
Bug: https://github.com/dart-lang/sdk/issues/40603
Change-Id: Id1060773d303527424bde02785a5c21651df4c85
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137422
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-27 00:47:06 +00:00
Siva Annamalai
48369b802d Revert "[ VM / NNBD ] Fixed standalone_2/io/file_test"
This reverts commit 099aa18654.

Reason for revert: Modifying a legacy test to make it run means it is pointing to a breaking change behaviour which we should note, considering that this test works in JIT mode I would think it is an issue in the AOT pipeline.

Original change's description:
> [ VM / NNBD ] Fixed standalone_2/io/file_test
> 
> Change-Id: I28dbe124125425bfa2460f30be974e165c6bdf7c
> Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137360
> Reviewed-by: Ryan Macnak <rmacnak@google.com>

TBR=bkonyi@google.com,rmacnak@google.com,asiva@google.com

Change-Id: I56ea1d96f8bbac5d77e9dce417515b2f21f662cf
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137500
Reviewed-by: Siva Annamalai <asiva@google.com>
Commit-Queue: Siva Annamalai <asiva@google.com>
2020-02-27 00:20:52 +00:00
Devon Carew
b079aae1a8 [dartfix] fix an issue with newly added tests and windows paths
Change-Id: I3896abf5de7357575e21b8ef3eb2f986c6764dde
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137461
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Jaime Wren <jwren@google.com>
Commit-Queue: Devon Carew <devoncarew@google.com>
2020-02-27 00:13:22 +00:00
Mark Zhou
781cd94279 [tests] Adding test for recursive legacy class type bounds.
See fix: https://dart-review.googlesource.com/c/sdk/+/136724

Change-Id: I85b005898579c1c6fe6904e590e13cc20f754fee
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136820
Reviewed-by: Erik Ernst <eernst@google.com>
Reviewed-by: Nicholas Shahan <nshahan@google.com>
2020-02-27 00:06:20 +00:00
Mark Zhou
36cc80d576 [tests] Adding runtime tests for required named arguments.
Change-Id: I1c76fa279c8c3572b48f5eb58eff53f703baca6b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/124106
Reviewed-by: Nicholas Shahan <nshahan@google.com>
2020-02-27 00:06:14 +00:00
Brian Wilkerson
b46f993f84 Add a fix for non-type-in-catch-clause (issue 40778)
Change-Id: Iebbdf639c76f6cdd061c94673319c2f6c89aec76
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137423
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 23:33:27 +00:00
Robert Nystrom
281716c6df Migrate a VM test off the ancient deprecated unittest package.
Change-Id: Id2d408b87bc40af75899fbe0922ba523cbde148c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136022
Auto-Submit: Bob Nystrom <rnystrom@google.com>
Reviewed-by: Leaf Petersen <leafp@google.com>
Commit-Queue: Bob Nystrom <rnystrom@google.com>
2020-02-26 23:29:21 +00:00
Liam Appelbe
9f73412618 [vm] Mark late fields as nullable in type propagator
Bug: https://github.com/dart-lang/sdk/issues/40738
Change-Id: Iaf5a5562d9a7ce3115c0dd72f0c78d307e3d1b2c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137421
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Commit-Queue: Liam Appelbe <liama@google.com>
2020-02-26 23:25:21 +00:00
pq
8fb0e62bab corpus index updates
removed "bad" repos.

Change-Id: Iaa17a3134468c57f6c158b5ef5af9a1cd854b7f2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137424
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Phil Quitslund <pquitslund@google.com>
2020-02-26 23:19:11 +00:00
Konstantin Shcheglov
5540c9551e Use parseString() in analyzer.
R=brianwilkerson@google.com

Change-Id: I1f78cf994d71acf810c9e8fc1682628a8366da22
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137440
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 23:00:27 +00:00
Brian Wilkerson
ede57f9ed4 Add some finer grained analysis around arguments
Change-Id: I1eb106a8a28a3de4fc6160794b098afb46d8aef1
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137400
Reviewed-by: Phil Quitslund <pquitslund@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
2020-02-26 22:27:11 +00:00
Ben Konyi
099aa18654 [ VM / NNBD ] Fixed standalone_2/io/file_test
Change-Id: I28dbe124125425bfa2460f30be974e165c6bdf7c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137360
Reviewed-by: Ryan Macnak <rmacnak@google.com>
2020-02-26 22:08:51 +00:00
Brian Wilkerson
1ae02c7379 Add more data to the analyzer tutorial
Change-Id: I790881ebe1da3def1916fbdaa97152e8279d4e73
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137340
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
2020-02-26 22:06:51 +00:00
Sigmund Cherem
5055c98bee [dart2js] switch bot to use hostaserts once again
This changes how we used String.fromEnvironment to enable tracing.
With null-safety http://dartbug.com/40678 means that these constants are
never null, so we were accidentally enabling tracing by default.

I was only able to see this when running dart2js from source
(which affects the hostasserts configuration), but I wasn't seeing this
when running from snapshot. We need to investigate that separately.

Change-Id: Ic362967d2f0daf5f9c0e1659c6a024ca9a44358f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137286
Reviewed-by: Stephen Adams <sra@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
2020-02-26 21:41:47 +00:00
Régis Crelier
432fa1b4e8 [VM/nnbd] Implement pre-nnbd language changes (see lang/#807).
Normalize FutureOr<T> and Never? after instantiation.
Use mutual subtyping of bounds in generic function type parameters instead of structural equality.

Change-Id: I78b836d8bd2f091bd56e5a0f9c2089a411fa6f6a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/135787
Commit-Queue: Régis Crelier <regis@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Liam Appelbe <liama@google.com>
2020-02-26 21:32:51 +00:00
Konstantin Shcheglov
c9884ccf52 Analyze SDK with non-nullable experiment enabled, update MockSdk.
Initial:  https://dart-review.googlesource.com/c/sdk/+/134401
Reverted: https://dart-review.googlesource.com/c/sdk/+/134802

Internal presubmit is green.
https://test.corp.google.com/ui#id=OCL:294345942:BASE:297377939:1582738004318:fb4ae9fe

Change-Id: I25e6445bd0241a89850dff3d88ece0edd768053a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/135241
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 21:08:21 +00:00
Robert Nystrom
12d610e9db Clean up the test runner help a little.
- Move sanitizer down since it's less relevant than compiler, etc.
- Update the compiler docs to match the current set of compilers.

Change-Id: I2f44eaad0f38186c942c74d1bfdc13caf20708c6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137324
Auto-Submit: Bob Nystrom <rnystrom@google.com>
Commit-Queue: Alexander Thomas <athom@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
2020-02-26 20:43:52 +00:00
pq
7eaafa01cc linter 0.1.111+1
Change-Id: I9e311527a41f65b888c4208615158715e3ff6dbf
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137321
Commit-Queue: Phil Quitslund <pquitslund@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
2020-02-26 20:34:31 +00:00
Konstantin Shcheglov
118d220bfa Remove unused SdkPatcher.
Change-Id: I9ce49a8713e528b3376fc447d3b053c8e2b1087d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137322
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 20:20:31 +00:00
Konstantin Shcheglov
0c7b9cf470 Issue 40764. Use Never instead of Null when converting super-bounded to regular-bounded.
Bug: https://github.com/dart-lang/sdk/issues/40764
Change-Id: I58f0e9860dd000aa2d8e416c5fce7e8964db0ef8
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137280
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>
2020-02-26 20:12:51 +00:00
Devon Carew
9eeecae3e4 address a few static analysis nits
Change-Id: I461c71550e320ed9f520169bcdbd4083f58b3db3
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137323
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>
Reviewed-by: Janice Collins <jcollins@google.com>
Commit-Queue: Devon Carew <devoncarew@google.com>
2020-02-26 20:04:51 +00:00
Devon Carew
8b02263198 [dartdev] add a dartfix migrate command
Change-Id: Icb5de208e193f4003312dd849e34217ed53ca00f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136361
Reviewed-by: Janice Collins <jcollins@google.com>
Reviewed-by: Jaime Wren <jwren@google.com>
Commit-Queue: Devon Carew <devoncarew@google.com>
2020-02-26 19:30:13 +00:00
Brian Wilkerson
6ed6a11f9b AST support for the null aware index operator
I think this also includes the necessary changes to the summary format.

Change-Id: I12bb28d5579f05d7026d0778e847380425e90b3d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137252
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 19:30:11 +00:00
Konstantin Shcheglov
5940821f4e Issue 37487. Add CompilationUnit.languageVersion override.
Initial:  https://dart-review.googlesource.com/c/sdk/+/136802
Reverted: https://dart-review.googlesource.com/c/sdk/+/136851

Bug: https://github.com/dart-lang/sdk/issues/37487
Change-Id: Ida3bf049840e7bda32ecdd54309ea0b141aa6800
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137201
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 18:08:07 +00:00
Liam Appelbe
05d2586099 [nnbd] Fix analyser error in required params test
Bug: https://github.com/dart-lang/sdk/issues/40781
Change-Id: Id5eefd844ac80c48b8558ead859adb451eb9fcb4
Fixes: https://github.com/dart-lang/sdk/issues/40781
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137320
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Commit-Queue: Liam Appelbe <liama@google.com>
2020-02-26 17:43:27 +00:00
Brian Wilkerson
a7167dd307 Fix the placement of modifier in add-static fix
Change-Id: Ic4fa82c739e2157e1d5cee935f8ff821d95a2857
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137251
Reviewed-by: Phil Quitslund <pquitslund@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
2020-02-26 17:39:17 +00:00
pq
97aac77d7f corpus path fixes
Change-Id: Id7a5d219cb5dd25dff77ce9167728ce769aed3e9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137288
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Phil Quitslund <pquitslund@google.com>
2020-02-26 17:30:07 +00:00
Konstantin Shcheglov
8010b7d4c7 Issue 40677. Report NOT_INITIALIZED_NON_NULLABLE_INSTANCE_FIELD when no generative constructors.
Bug: https://github.com/dart-lang/sdk/issues/40677
Change-Id: Ibea667e5bc70de32e464c74f04995d01aa4821f6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137282
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 17:20:16 +00:00
Janice Collins
31053a8c01 Add analyzer run support to steamroller and minor QOL improvements.
Change-Id: I4ffadba54e5d1485307c9b98858d80f5bdbcccf8
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136854
Commit-Queue: Janice Collins <jcollins@google.com>
Reviewed-by: Mike Fairhurst <mfairhurst@google.com>
2020-02-26 16:57:46 +00:00
Clement Skau
9c05fde96b [Cleanup] Removes deprecated --gc_at_instance_allocation.
The flag only appears in two tests and a comment.
Flag was removed in https://dart-review.googlesource.com/c/sdk/+/83120

Change-Id: I2a5d828c8ec7909a3d16579f9a9771176aabb65e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136974
Reviewed-by: Daco Harkes <dacoharkes@google.com>
Commit-Queue: Clement Skau <cskau@google.com>
2020-02-26 15:00:26 +00:00
Jens Johansen
3660b9ecc7 [parser] New syntax for null aware index (2nd try)
This reverts commit bc4893a3b3.

The previous attempt failed because when we check if something is a
conditional expression we used a rewriter that didn't actually rewrite.
This further down the line (still checking if we can parse the expression)
results in errors occurring (that wouldn't have occurred if the rewrite
had happened) and the conclusion was thus that it wasn't a conditional
expression and we parsed it as a null-aware index operator (which gave
errors because it wasn't).

This 2nd try solves it by having a rewriter that actually rewrites,
but then allows to undo the rewrites after we're done parsing.

Change-Id: Ide3c0d6a870d4dc18b6d9475b0227d93c733dc7f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136624
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
2020-02-26 13:31:52 +00:00
Johnni Winther
4189237330 [cfe] Avoid crash on Never as bound
Change-Id: Ia7dc56774599a17d4a29d03ec8ec07cb01995fdb
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137300
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
2020-02-26 10:19:07 +00:00
Jens Johansen
6262e8fe85 [CFE] Set InvalidLanguageVersion if in fact invalid, fix a lookup bug
Change-Id: Id93b6b859a1acd8410d4917063731b2fc049a63f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137301
Reviewed-by: Johnni Winther <johnniwinther@google.com>
2020-02-26 09:56:53 +00:00
William Hesse
fb9efd4b68 [infra] Send a tryjob's base commit hash when publishing results to pubsub
Change-Id: I2813a6a180d8be8e55c1c49f2686e53e533c6bc4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137105
Reviewed-by: Alexander Thomas <athom@google.com>
2020-02-26 09:55:59 +00:00
Johnni Winther
60582b3d7a [cfe] Handle future or fields
Change-Id: Ie915ca0824f983966e5017e899a02d50ad14b091
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136978
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
2020-02-26 09:53:30 +00:00
Johnni Winther
53c59d9f4e [cfe] Fix uri in non-nullable field error reporting
Change-Id: I5af35ad08a26f4aaf780573ddbbb878ef75472f9
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136977
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>
2020-02-26 08:07:41 +00:00
Jens Johansen
aad2b81f16 [CFE] Fixes to experimental invalidation strategy
This all worked previously, but there probably was a weird merge mistake
or something that deleted it.
Here the lost fixes are added again, with more testing.

Change-Id: I8941cb6c88c44e22b70c12c93f7256fb371177f6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136976
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Jens Johansen <jensj@google.com>
2020-02-26 08:02:02 +00:00
asiva
bf34450953 Remove workaround introduced for issue #40486, that issue
appears to be fixed now.
Closes https://github.com/dart-lang/sdk/issues/40486

Change-Id: I6c7901a45caf87c0766750f403bb9cf6a127609b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137246
Commit-Queue: Siva Annamalai <asiva@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>
2020-02-26 03:26:25 +00:00
Ryan Macnak
7fd8ad5a2d Revert "[vm] Re-land aggressive write-barrier elimination."
This reverts commit c7d7552697.

Reason for revert: https://github.com/dart-lang/sdk/issues/40780

Original change's description:
> [vm] Re-land aggressive write-barrier elimination.
> 
> It incorrectly assumed that all stores in Dart code write to Instances.
> There is actually one exception, Contexts, which do not inherit from Instance.
> 
> I've added asserts to ensure this kind of bug cannot resurface.
> 
> The original change is in patchset 4.
> 
> Change-Id: Ic2d8d05e70a4de738eb9fb5980487b4f27111b8c
> Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136221
> Commit-Queue: Samir Jindel <sjindel@google.com>
> Reviewed-by: Martin Kustermann <kustermann@google.com>
> Reviewed-by: Ryan Macnak <rmacnak@google.com>

TBR=kustermann@google.com,rmacnak@google.com,sjindel@google.com

# Not skipping CQ checks because original CL landed > 1 day ago.

Change-Id: I1891677b21560c7fc5a54a8eb800ef5850654402
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137290
Reviewed-by: Ryan Macnak <rmacnak@google.com>
Commit-Queue: Ryan Macnak <rmacnak@google.com>
2020-02-26 02:18:25 +00:00
Robert Nystrom
fca91e4dfd Migrate css_selector_test off unittest.
This test was actually totally broken. It called
useHtmlIndividualConfiguration(), which tells the test runner to treat
each group() as a separate test. But it had no group() calls at all, so
the test runner didn't enqueue *anything* for it. It was completely
skipped. :-O

Change-Id: Ib7b030c94d286f467601ec490308c32fb500c7a8
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137291
Commit-Queue: Bob Nystrom <rnystrom@google.com>
Commit-Queue: Srujan Gaddam <srujzs@google.com>
Auto-Submit: Bob Nystrom <rnystrom@google.com>
Reviewed-by: Srujan Gaddam <srujzs@google.com>
2020-02-26 02:17:55 +00:00
Alexander Thomas
f304dac144 [infra] Add strong mode testing to the CFE builder
Change-Id: I0add8fdb5aeb768c52f6140f838ee2987ac4d132
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/137060
Reviewed-by: Johnni Winther <johnniwinther@google.com>
2020-02-26 01:48:57 +00:00
Konstantin Shcheglov
8726b35711 Issue 40413. Don't infer promoted TypeParameterType(s) for locals.
Internal presubmit looks green.
https://test.corp.google.com/ui#id=OCL:295832949:BASE:295984425:1582132722046:8eaca57b

Bug: https://github.com/dart-lang/sdk/issues/40413
Change-Id: I8514f6e1a99c4b02098cc649607cf31c5daf350f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136360
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
2020-02-26 01:10:14 +00:00
Nate Bosch
97cf54c58e Remove some stale JS interop known differences
Remove sections describing differences between dart2js and ddc that
have since been resolved.

Both ddc and dart2js will require use of `allowInterop` in all but
unlikely edge cases. Both will be strict about argument types and count
as long as `allowInterop` is used.

Other fixes:
- Fix spelling of "supersedes".
- Use `List.from` over `list.cast().toList()` in example.

Change-Id: If4ce0926a4460ed41ddea2714ee3324c60770d62
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/136844
Commit-Queue: Nate Bosch <nbosch@google.com>
Auto-Submit: Nate Bosch <nbosch@google.com>
Reviewed-by: Nicholas Shahan <nshahan@google.com>
2020-02-26 00:52:43 +00:00
Liam Appelbe
9e03c2c506 [vm] Add required flag to parameters, and implement subtyping rules.
This CL only covers AST mode, and doesn't address function resolution.

Bug: https://github.com/dart-lang/sdk/issues/39755
Change-Id: I19280fb0d373aa9eb17da13677fd5bb1230385da
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/131701
Commit-Queue: Liam Appelbe <liama@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Régis Crelier <regis@google.com>
2020-02-26 00:38:54 +00:00