Skip to content

Commit 27446b4

Browse files
johnniwinthercommit-bot@chromium.org
johnniwinther
authored and
[email protected]
committed
[cfe] Update test expectation for language/unsorted/flatten_test/12
+ use the inferred return type in error reporting when no return type is declared. This turned up in this particular case where we report an error between the returned value and the inferred return type. Closes #42546 Change-Id: I48da24047f2e92ca91a514dfcb43c2ba6f65ee46 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/153610 Reviewed-by: Erik Ernst <[email protected]> Commit-Queue: Johnni Winther <[email protected]>
1 parent cf7a63a commit 27446b4

19 files changed

+213
-13
lines changed

‎pkg/front_end/lib/src/fasta/type_inference/closure_context.dart

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -484,8 +484,8 @@ class _AsyncClosureContext implements ClosureContext {
484484
// flatten(S) is neither void, dynamic, Null.
485485
statement.expression = inferrer.helper.wrapInProblem(
486486
new NullLiteral()..fileOffset = statement.fileOffset,
487-
templateInvalidReturnAsync.withArguments(expressionType,
488-
_declaredReturnType, inferrer.isNonNullableByDefault),
487+
templateInvalidReturnAsync.withArguments(
488+
expressionType, returnType, inferrer.isNonNullableByDefault),
489489
statement.expression.fileOffset,
490490
noLength)
491491
..parent = statement;
@@ -496,8 +496,8 @@ class _AsyncClosureContext implements ClosureContext {
496496
// nor dynamic, and flatten(S) is void.
497497
statement.expression = inferrer.helper.wrapInProblem(
498498
new NullLiteral()..fileOffset = statement.fileOffset,
499-
templateInvalidReturnAsync.withArguments(expressionType,
500-
_declaredReturnType, inferrer.isNonNullableByDefault),
499+
templateInvalidReturnAsync.withArguments(
500+
expressionType, returnType, inferrer.isNonNullableByDefault),
501501
statement.expression.fileOffset,
502502
noLength)
503503
..parent = statement;
@@ -513,7 +513,7 @@ class _AsyncClosureContext implements ClosureContext {
513513
futureValueType, expressionType, statement.expression,
514514
fileOffset: statement.expression.fileOffset,
515515
runtimeCheckedType: _returnContext,
516-
declaredContextType: _declaredReturnType,
516+
declaredContextType: returnType,
517517
isVoidAllowed: false,
518518
errorTemplate: templateInvalidReturnAsync)
519519
..parent = statement;

‎pkg/front_end/test/spell_checking_list_tests.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -160,6 +160,7 @@ discovering
160160
dispatcher
161161
dispose
162162
dist
163+
divergent
163164
doctype
164165
doesnt
165166
dog

‎pkg/front_end/testcases/nnbd/issue42546.dart

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
// Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
2+
// for details. All rights reserved. Use of this source code is governed by a
3+
// BSD-style license that can be found in the LICENSE file.
4+
5+
// Based on tests/language/unsorted/flatten_test/12
6+
7+
import 'dart:async';
8+
9+
class Divergent<T> implements Future<Divergent<Divergent<T>>> {
10+
noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
11+
}
12+
13+
test() async {
14+
Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
15+
}
16+
17+
main() {}

‎pkg/front_end/testcases/nnbd/issue42546.dart.outline.expect

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
library /*isNonNullableByDefault*/;
2+
import self as self;
3+
import "dart:core" as core;
4+
import "dart:async" as asy;
5+
6+
import "dart:async";
7+
8+
class Divergent<T extends core::Object? = dynamic> extends core::Object implements asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>> {
9+
synthetic constructor •() → self::Divergent<self::Divergent::T%>
10+
;
11+
method noSuchMethod(core::Invocation invocation) → dynamic
12+
;
13+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ catchError(core::Function onError, {(core::Object) →? core::bool test = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
14+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#catchError, 0, const <core::Type*>[], core::List::unmodifiable<dynamic>(<dynamic>[onError]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#test: test}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
15+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ whenComplete(() → FutureOr<void>action) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
16+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#whenComplete, 0, const <core::Type*>[], core::List::unmodifiable<dynamic>(<dynamic>[action]), core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
17+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ timeout(core::Duration timeLimit, {generic-covariant-impl () →? FutureOr<self::Divergent<self::Divergent<self::Divergent::T%>>>onTimeout = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
18+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#timeout, 0, const <core::Type*>[], core::List::unmodifiable<dynamic>(<dynamic>[timeLimit]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#onTimeout: onTimeout}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
19+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ then<R extends core::Object? = dynamic>((self::Divergent<self::Divergent<self::Divergent::T%>>) → FutureOr<self::Divergent::then::R%>onValue, {core::Function? onError = #C1}) → asy::Future<self::Divergent::then::R%>
20+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#then, 0, core::List::unmodifiable<core::Type*>(<core::Type*>[self::Divergent::then::R%]), core::List::unmodifiable<dynamic>(<dynamic>[onValue]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#onError: onError}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent::then::R%>;
21+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ asStream() → asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>
22+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#asStream, 0, const <core::Type*>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>;
23+
}
24+
static method test() → dynamic async
25+
;
26+
static method main() → dynamic
27+
;
28+
29+
constants {
30+
#C1 = null
31+
}

‎pkg/front_end/testcases/nnbd/issue42546.dart.strong.expect

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
library /*isNonNullableByDefault*/;
2+
//
3+
// Problems in library:
4+
//
5+
// pkg/front_end/testcases/nnbd/issue42546.dart:14:58: Error: A value of type 'Divergent<int>' can't be returned from an async function with return type 'Future<Divergent<Divergent<Divergent<int>>>>'.
6+
// - 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
7+
// - 'Future' is from 'dart:async'.
8+
// Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
9+
// ^
10+
//
11+
// pkg/front_end/testcases/nnbd/issue42546.dart:14:75: Error: A value of type 'Future<Divergent<Divergent<Divergent<int>>>>' can't be assigned to a variable of type 'Future<Divergent<Divergent<int>>>'.
12+
// - 'Future' is from 'dart:async'.
13+
// - 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
14+
// Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
15+
// ^
16+
//
17+
import self as self;
18+
import "dart:core" as core;
19+
import "dart:async" as asy;
20+
21+
import "dart:async";
22+
23+
class Divergent<T extends core::Object? = dynamic> extends core::Object implements asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>> {
24+
synthetic constructor •() → self::Divergent<self::Divergent::T%>
25+
: super core::Object::•()
26+
;
27+
method noSuchMethod(core::Invocation invocation) → dynamic
28+
return super.{core::Object::noSuchMethod}(invocation);
29+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ catchError(core::Function onError, {(core::Object) →? core::bool test = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
30+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C2, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[onError]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C4: test}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
31+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ whenComplete(() → FutureOr<void>action) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
32+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C5, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[action]), core::Map::unmodifiable<core::Symbol*, dynamic>(#C7))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
33+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ timeout(core::Duration timeLimit, {generic-covariant-impl () →? FutureOr<self::Divergent<self::Divergent<self::Divergent::T%>>>onTimeout = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
34+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C8, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[timeLimit]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C9: onTimeout}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
35+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ then<R extends core::Object? = dynamic>((self::Divergent<self::Divergent<self::Divergent::T%>>) → FutureOr<self::Divergent::then::R%>onValue, {core::Function? onError = #C1}) → asy::Future<self::Divergent::then::R%>
36+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C10, 0, core::List::unmodifiable<core::Type*>(<core::Type*>[self::Divergent::then::R%]), core::List::unmodifiable<dynamic>(<dynamic>[onValue]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C11: onError}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent::then::R%>;
37+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ asStream() → asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>
38+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C12, 0, #C3, #C6, core::Map::unmodifiable<core::Symbol*, dynamic>(#C7))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>;
39+
}
40+
static method test() → dynamic async {
41+
asy::Future<self::Divergent<self::Divergent<core::int>>> x = let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/nnbd/issue42546.dart:14:75: Error: A value of type 'Future<Divergent<Divergent<Divergent<int>>>>' can't be assigned to a variable of type 'Future<Divergent<Divergent<int>>>'.
42+
- 'Future' is from 'dart:async'.
43+
- 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
44+
Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
45+
^" in (() → asy::Future<self::Divergent<self::Divergent<self::Divergent<core::int>>>> async => let final<BottomType> #t2 = invalid-expression "pkg/front_end/testcases/nnbd/issue42546.dart:14:58: Error: A value of type 'Divergent<int>' can't be returned from an async function with return type 'Future<Divergent<Divergent<Divergent<int>>>>'.
46+
- 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
47+
- 'Future' is from 'dart:async'.
48+
Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
49+
^" in new self::Divergent::•<core::int>() as{TypeError,ForNonNullableByDefault} self::Divergent<self::Divergent<self::Divergent<core::int>>>).call() as{TypeError,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<core::int>>>;
50+
}
51+
static method main() → dynamic {}
52+
53+
constants {
54+
#C1 = null
55+
#C2 = #catchError
56+
#C3 = <core::Type*>[]
57+
#C4 = #test
58+
#C5 = #whenComplete
59+
#C6 = <dynamic>[]
60+
#C7 = core::_ImmutableMap<core::Symbol*, dynamic> {_kvPairs:#C6}
61+
#C8 = #timeout
62+
#C9 = #onTimeout
63+
#C10 = #then
64+
#C11 = #onError
65+
#C12 = #asStream
66+
}

‎pkg/front_end/testcases/nnbd/issue42546.dart.textual_outline.expect

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
import 'dart:async';
2+
3+
class Divergent<T> implements Future<Divergent<Divergent<T>>> {
4+
noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
5+
}
6+
7+
test() async {}
8+
main() {}

‎pkg/front_end/testcases/nnbd/issue42546.dart.textual_outline_modelled.expect

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
import 'dart:async';
2+
3+
class Divergent<T> implements Future<Divergent<Divergent<T>>> {
4+
noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
5+
}
6+
7+
main() {}
8+
test() async {}

‎pkg/front_end/testcases/nnbd/issue42546.dart.weak.expect

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
library /*isNonNullableByDefault*/;
2+
//
3+
// Problems in library:
4+
//
5+
// pkg/front_end/testcases/nnbd/issue42546.dart:14:58: Error: A value of type 'Divergent<int>' can't be returned from an async function with return type 'Future<Divergent<Divergent<Divergent<int>>>>'.
6+
// - 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
7+
// - 'Future' is from 'dart:async'.
8+
// Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
9+
// ^
10+
//
11+
// pkg/front_end/testcases/nnbd/issue42546.dart:14:75: Error: A value of type 'Future<Divergent<Divergent<Divergent<int>>>>' can't be assigned to a variable of type 'Future<Divergent<Divergent<int>>>'.
12+
// - 'Future' is from 'dart:async'.
13+
// - 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
14+
// Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
15+
// ^
16+
//
17+
import self as self;
18+
import "dart:core" as core;
19+
import "dart:async" as asy;
20+
21+
import "dart:async";
22+
23+
class Divergent<T extends core::Object? = dynamic> extends core::Object implements asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>> {
24+
synthetic constructor •() → self::Divergent<self::Divergent::T%>
25+
: super core::Object::•()
26+
;
27+
method noSuchMethod(core::Invocation invocation) → dynamic
28+
return super.{core::Object::noSuchMethod}(invocation);
29+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ catchError(core::Function onError, {(core::Object) →? core::bool test = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
30+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C2, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[onError]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C4: test}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
31+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ whenComplete(() → FutureOr<void>action) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
32+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C5, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[action]), core::Map::unmodifiable<core::Symbol*, dynamic>(#C7))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
33+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ timeout(core::Duration timeLimit, {generic-covariant-impl () →? FutureOr<self::Divergent<self::Divergent<self::Divergent::T%>>>onTimeout = #C1}) → asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>
34+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C8, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[timeLimit]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C9: onTimeout}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<self::Divergent::T%>>>;
35+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ then<R extends core::Object? = dynamic>((self::Divergent<self::Divergent<self::Divergent::T%>>) → FutureOr<self::Divergent::then::R%>onValue, {core::Function? onError = #C1}) → asy::Future<self::Divergent::then::R%>
36+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C10, 0, core::List::unmodifiable<core::Type*>(<core::Type*>[self::Divergent::then::R%]), core::List::unmodifiable<dynamic>(<dynamic>[onValue]), core::Map::unmodifiable<core::Symbol*, dynamic>(<core::Symbol*, dynamic>{#C11: onError}))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Future<self::Divergent::then::R%>;
37+
no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/async/future.dart */ asStream() → asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>
38+
return this.{self::Divergent::noSuchMethod}(new core::_InvocationMirror::_withType(#C12, 0, #C3, #C6, core::Map::unmodifiable<core::Symbol*, dynamic>(#C7))) as{TypeError,ForDynamic,ForNonNullableByDefault} asy::Stream<self::Divergent<self::Divergent<self::Divergent::T%>>>;
39+
}
40+
static method test() → dynamic async {
41+
asy::Future<self::Divergent<self::Divergent<core::int>>> x = let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/nnbd/issue42546.dart:14:75: Error: A value of type 'Future<Divergent<Divergent<Divergent<int>>>>' can't be assigned to a variable of type 'Future<Divergent<Divergent<int>>>'.
42+
- 'Future' is from 'dart:async'.
43+
- 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
44+
Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
45+
^" in (() → asy::Future<self::Divergent<self::Divergent<self::Divergent<core::int>>>> async => let final<BottomType> #t2 = invalid-expression "pkg/front_end/testcases/nnbd/issue42546.dart:14:58: Error: A value of type 'Divergent<int>' can't be returned from an async function with return type 'Future<Divergent<Divergent<Divergent<int>>>>'.
46+
- 'Divergent' is from 'pkg/front_end/testcases/nnbd/issue42546.dart'.
47+
- 'Future' is from 'dart:async'.
48+
Future<Divergent<Divergent<int>>> x = (() async => new Divergent<int>())();
49+
^" in new self::Divergent::•<core::int>() as{TypeError,ForNonNullableByDefault} self::Divergent<self::Divergent<self::Divergent<core::int>>>).call() as{TypeError,ForNonNullableByDefault} asy::Future<self::Divergent<self::Divergent<core::int>>>;
50+
}
51+
static method main() → dynamic {}
52+
53+
constants {
54+
#C1 = null
55+
#C2 = #catchError
56+
#C3 = <core::Type*>[]
57+
#C4 = #test
58+
#C5 = #whenComplete
59+
#C6 = <dynamic>[]
60+
#C7 = core::_ImmutableMap<core::Symbol*, dynamic> {_kvPairs:#C6}
61+
#C8 = #timeout
62+
#C9 = #onTimeout
63+
#C10 = #then
64+
#C11 = #onError
65+
#C12 = #asStream
66+
}

‎pkg/front_end/testcases/strong.status

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -172,6 +172,7 @@ instantiate_to_bound/non_simple_generic_function_in_bound_regress: RuntimeError
172172
late_lowering/covariant_late_field: TypeCheckError
173173
nnbd/covariant_late_field: TypeCheckError
174174
nnbd/issue41180: RuntimeError # Strong mode runtime checking fails due to mixed strong mode.
175+
nnbd/issue42546: TypeCheckError
175176
nnbd/nullable_object_access: TypeCheckError
176177
nnbd/nullable_receiver: TypeCheckError
177178
nnbd/potentially_nullable_access: TypeCheckError

‎pkg/front_end/testcases/text_serialization.status

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -170,6 +170,7 @@ instantiate_to_bound/non_simple_generic_function_in_bound_regress: RuntimeError
170170
late_lowering/covariant_late_field: TypeCheckError
171171
nnbd/covariant_late_field: TypeCheckError
172172
nnbd/issue41180: RuntimeError
173+
nnbd/issue42546: TypeCheckError
173174
nnbd/nullable_object_access: TypeCheckError
174175
nnbd/nullable_receiver: TypeCheckError
175176
nnbd/potentially_nullable_access: TypeCheckError

0 commit comments

Comments
 (0)