blob: f25a954d2e6430331f425f28779ae020ec148d39 [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/issue42362.dart:45:16: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// method3([int i]) {} // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:47:16: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// method4({int i}) {} // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:8:24: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// A.constructor1([this.i]); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:10:24: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// A.constructor2({this.i}); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:12:23: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// A.constructor3([int i]) // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:15:23: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// A.constructor4({int i}) // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:41:27: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// factory A.factory8([int i]) => new A.constructor3(); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:43:27: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// factory A.factory9({int i}) => new A.constructor4(); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:106:12: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// method3([i]) {} // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:108:12: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// method4({i}) {} // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:77:24: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// C.constructor1([this.i]); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:79:24: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// C.constructor2({this.i}); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:81:23: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// C.constructor3([int i]) : this.i = i; // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:83:23: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// C.constructor4({int i}) : this.i = i; // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:102:27: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// factory C.factory8([int i]) => new C.constructor3(); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:104:27: Error: The parameter 'i' can't have a value of 'null' because of its type 'int', but the implicit default value is 'null'.
// Try adding either an explicit non-'null' default value or the 'required' modifier.
// factory C.factory9({int i}) => new C.constructor4(); // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:19:18: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
// : this.i = i; // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:22:18: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
// : this.i = i; // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:85:39: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
// C.constructor5([int? i]) : this.i = i; // error
// ^
//
// pkg/front_end/testcases/nnbd/issue42362.dart:87:39: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
// C.constructor6({int? i}) : this.i = i; // error
// ^
//
import self as self;
import "dart:core" as core;
class A extends core::Object {
final field core::int i;
static final field dynamic _redirecting# = <dynamic>[self::A::factory3, self::A::factory4, self::A::factory5, self::A::factory6, self::A::factory7]/*isLegacy*/;
constructor constructor1([core::int i = #C1]) → self::A
: self::A::i = i, super core::Object::•()
;
constructor constructor2({core::int i = #C1}) → self::A
: self::A::i = i, super core::Object::•()
;
constructor constructor3([core::int i = #C1]) → self::A
: self::A::i = i, super core::Object::•()
;
constructor constructor4({core::int i = #C1}) → self::A
: self::A::i = i, super core::Object::•()
;
constructor constructor5([core::int? i = #C1]) → self::A
: self::A::i = let final<BottomType> #t1 = invalid-expression "pkg/front_end/testcases/nnbd/issue42362.dart:19:18: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
: this.i = i; // error
^" in let core::int? #t2 = i in #t2.==(null) ?{core::int} #t2 as{TypeError,ForNonNullableByDefault} core::int : #t2{core::int}, super core::Object::•()
;
constructor constructor6({core::int? i = #C1}) → self::A
: self::A::i = let final<BottomType> #t3 = invalid-expression "pkg/front_end/testcases/nnbd/issue42362.dart:22:18: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
: this.i = i; // error
^" in let core::int? #t4 = i in #t4.==(null) ?{core::int} #t4 as{TypeError,ForNonNullableByDefault} core::int : #t4{core::int}, super core::Object::•()
;
constructor constructor7({required core::int i = #C1}) → self::A
: self::A::i = i, super core::Object::•()
;
external constructor constructor8([core::int i = #C1]) → self::A
: super core::Object::•()
;
external constructor constructor9({core::int i = #C1}) → self::A
: super core::Object::•()
;
static factory factory3([core::int i = #C1]) → self::A
let<BottomType> #redirecting_factory = self::A::constructor3 in invalid-expression;
static factory factory4({core::int i = #C1}) → self::A
let<BottomType> #redirecting_factory = self::A::constructor4 in invalid-expression;
static factory factory5([core::int? i = #C1]) → self::A
let<BottomType> #redirecting_factory = self::A::constructor5 in invalid-expression;
static factory factory6({core::int? i = #C1}) → self::A
let<BottomType> #redirecting_factory = self::A::constructor6 in invalid-expression;
static factory factory7({required core::int i = #C1}) → self::A
let<BottomType> #redirecting_factory = self::A::constructor7 in invalid-expression;
static factory factory8([core::int i = #C1]) → self::A
return new self::A::constructor3();
static factory factory9({core::int i = #C1}) → self::A
return new self::A::constructor4();
method method3([core::int i = #C1]) → dynamic {}
method method4({core::int i = #C1}) → dynamic {}
method method5([core::int? i = #C1]) → dynamic {}
method method6({core::int? i = #C1}) → dynamic {}
method method7({required core::int i = #C1}) → dynamic {}
external method method8([core::int i = #C1]) → dynamic;
external method method9({core::int i = #C1}) → dynamic;
}
abstract class B extends core::Object {
field core::int i = 42;
synthetic constructor •() → self::B
: super core::Object::•()
;
abstract method method3([core::int i = #C1]) → dynamic;
abstract method method4({core::int i = #C1}) → dynamic;
abstract method method5([core::int? i = #C1]) → dynamic;
abstract method method6({core::int? i = #C1}) → dynamic;
abstract method method7({required core::int i = #C1}) → dynamic;
}
class C extends core::Object implements self::B {
field core::int i;
static final field dynamic _redirecting# = <dynamic>[self::C::factory3, self::C::factory4, self::C::factory5, self::C::factory6, self::C::factory7]/*isLegacy*/;
constructor constructor1([core::int i = #C1]) → self::C
: self::C::i = i, super core::Object::•()
;
constructor constructor2({core::int i = #C1}) → self::C
: self::C::i = i, super core::Object::•()
;
constructor constructor3([core::int i = #C1]) → self::C
: self::C::i = i, super core::Object::•()
;
constructor constructor4({core::int i = #C1}) → self::C
: self::C::i = i, super core::Object::•()
;
constructor constructor5([core::int? i = #C1]) → self::C
: self::C::i = let final<BottomType> #t5 = invalid-expression "pkg/front_end/testcases/nnbd/issue42362.dart:85:39: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
C.constructor5([int? i]) : this.i = i; // error
^" in let core::int? #t6 = i in #t6.==(null) ?{core::int} #t6 as{TypeError,ForNonNullableByDefault} core::int : #t6{core::int}, super core::Object::•()
;
constructor constructor6({core::int? i = #C1}) → self::C
: self::C::i = let final<BottomType> #t7 = invalid-expression "pkg/front_end/testcases/nnbd/issue42362.dart:87:39: Error: A value of type 'int?' can't be assigned to a variable of type 'int' because 'int?' is nullable and 'int' isn't.
C.constructor6({int? i}) : this.i = i; // error
^" in let core::int? #t8 = i in #t8.==(null) ?{core::int} #t8 as{TypeError,ForNonNullableByDefault} core::int : #t8{core::int}, super core::Object::•()
;
constructor constructor7({required core::int i = #C1}) → self::C
: self::C::i = i, super core::Object::•()
;
static factory factory3([core::int i = #C1]) → self::C
let<BottomType> #redirecting_factory = self::C::constructor3 in invalid-expression;
static factory factory4({core::int i = #C1}) → self::C
let<BottomType> #redirecting_factory = self::C::constructor4 in invalid-expression;
static factory factory5([core::int? i = #C1]) → self::C
let<BottomType> #redirecting_factory = self::C::constructor5 in invalid-expression;
static factory factory6({core::int? i = #C1}) → self::C
let<BottomType> #redirecting_factory = self::C::constructor6 in invalid-expression;
static factory factory7({required core::int i = #C1}) → self::C
let<BottomType> #redirecting_factory = self::C::constructor7 in invalid-expression;
static factory factory8([core::int i = #C1]) → self::C
return new self::C::constructor3();
static factory factory9({core::int i = #C1}) → self::C
return new self::C::constructor4();
method method3([core::int i = #C1]) → dynamic {}
method method4({core::int i = #C1}) → dynamic {}
method method5([core::int? i = #C1]) → dynamic {}
method method6({core::int? i = #C1}) → dynamic {}
method method7({required core::int i = #C1}) → dynamic {}
}
static method main() → void {}
constants {
#C1 = null
}