languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 03:27:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

[vm/jit] Check type arguments against bounds in closures.

Browse source 
Fixes #37572

Change-Id: I716b6b20ba6f93f52f077724fe31a0aff85ac340
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/118501
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Commit-Queue: Régis Crelier <regis@google.com>
This commit is contained in:
Régis Crelier 2019-09-24 15:51:49 +00:00 committed by commit-bot@chromium.org
parent fc56445218
commit 22b32075b1
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
runtime/vm/compiler/frontend/scope_builder.cc
View file

@ -33,7 +33,8 @@ bool MethodCanSkipTypeChecksForNonCovariantArguments(
// In AOT mode we don't dynamically generate such trampolines but instead rely
// on a static analysis to discover which methods can be invoked dynamically,
// and generate the necessary trampolines during precompilation.
if (method.name() == Symbols::Call().raw()) {
if (method.name() == Symbols::Call().raw() ||
method.CanReceiveDynamicInvocation()) {
// Currently we consider all call methods to be invoked dynamically and
// don't mangle their names.
// TODO(vegorov) remove this once we also introduce special type checking