blob: 33133b3707b71a8681330168daf75304450bb3fc [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:12:7: Error: Can't mix 'Aoo' in because it's marked with '?'.
// class Coo extends Boo with Aoo? {}
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:14:7: Error: Can't extend 'Aoo' because it's marked with '?'.
// class Doo extends Aoo? {}
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:16:7: Error: Can't implement 'Boo' because it's marked with '?'.
// class Eoo implements Boo? {}
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:18:7: Error: Can't extend 'Boo' because it's marked with '?'.
// class Foo extends Boo? with Aoo {}
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:20:7: Error: Can't extend 'Boo' because it's marked with '?'.
// class Goo = Boo? with Aoo?;
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:20:7: Error: Can't mix 'Aoo' in because it's marked with '?'.
// class Goo = Boo? with Aoo?;
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:22:7: Error: Can't implement 'Boo' because it's marked with '?'.
// class Hoo extends Object with Aoo implements Boo? {}
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:24:7: Error: Can't implement 'Boo' because it's marked with '?'.
// class Ioo = Object with Aoo implements Boo?;
// ^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:32:7: Error: Can't extend 'Aoo' because it's marked with '?'.
// mixin Moo1 on Aoo? implements Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:32:7: Error: Can't implement 'Boo' because it's marked with '?'.
// mixin Moo1 on Aoo? implements Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:34:7: Error: Can't extend 'Aoo' because it's marked with '?'.
// mixin Moo2 on Aoo?, Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:34:7: Error: Can't extend 'Boo' because it's marked with '?'.
// mixin Moo2 on Aoo?, Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:36:7: Error: Can't implement 'Aoo' because it's marked with '?'.
// mixin Moo3 implements Aoo?, Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:36:7: Error: Can't implement 'Boo' because it's marked with '?'.
// mixin Moo3 implements Aoo?, Boo? {}
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:50:17: Error: Type 'void' can't be used here.
// Try removing 'void' keyword or replace it with 'var', 'final', or a type.
// class NooVoid = void with Aoo;
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:50:17: Error: Type 'void' not found.
// class NooVoid = void with Aoo;
// ^^^^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:26:7: Error: The type 'Never' can't be mixed in.
// class Joo extends Boo with Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:52:7: Error: The type 'Never' can't be mixed in.
// class Ooo = Aoo with Never;
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:26:7: Error: The type 'Never' can't be used as supertype.
// class Joo extends Boo with Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:28:7: Error: The type 'Never' can't be used as supertype.
// class Koo extends Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:30:7: Error: The type 'Never' can't be used as supertype.
// class Loo implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:38:7: Error: The type 'Never' can't be used as supertype.
// mixin Moo4 on Aoo implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:40:7: Error: The type 'Never' can't be used as supertype.
// mixin Moo5 on Aoo, Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:42:7: Error: The type 'Never' can't be used as supertype.
// mixin Moo6 on Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:44:7: Error: The type 'Never' can't be used as supertype.
// mixin Moo7 implements Aoo, Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:46:7: Error: The type 'Never' can't be used as supertype.
// mixin Moo8 implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:48:7: Error: The type 'Never' can't be used as supertype.
// class Noo = Never with Aoo;
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:49:7: Error: The type 'dynamic' can't be used as supertype.
// class NooDynamic = dynamic with Aoo;
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:52:7: Error: The type 'Never' can't be used as supertype.
// class Ooo = Aoo with Never;
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:28:7: Error: The type 'Never' can't be used in an 'extends' clause.
// class Koo extends Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:30:7: Error: The type 'Never' can't be used in an 'implements' clause.
// class Loo implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:38:7: Error: The type 'Never' can't be used in an 'implements' clause.
// mixin Moo4 on Aoo implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:40:7: Error: The type 'Never' can't be used in an 'implements' clause.
// mixin Moo5 on Aoo, Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:42:7: Error: The type 'Never' can't be used in an 'extends' clause.
// mixin Moo6 on Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:44:7: Error: The type 'Never' can't be used in an 'implements' clause.
// mixin Moo7 implements Aoo, Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:46:7: Error: The type 'Never' can't be used in an 'implements' clause.
// mixin Moo8 implements Never {}
// ^
//
// pkg/front_end/testcases/nnbd/forbidden_supers.dart:48:7: Error: The type 'Never' can't be used in an 'extends' clause.
// class Noo = Never with Aoo;
// ^
//
import self as self;
import "dart:core" as core;
class Aoo extends core::Object {
synthetic constructor •() self::Aoo
;
}
class Boo extends core::Object {
synthetic constructor •() self::Boo
;
}
abstract class _Coo&Boo&Aoo = self::Boo with self::Aoo /*isAnonymousMixin*/ {
synthetic constructor •() self::_Coo&Boo&Aoo
: super self::Boo::•()
;
}
class Coo extends self::_Coo&Boo&Aoo {
synthetic constructor •() self::Coo
;
}
class Doo extends self::Aoo {
synthetic constructor •() self::Doo
;
}
class Eoo extends core::Object implements self::Boo {
synthetic constructor •() self::Eoo
;
}
abstract class _Foo&Boo&Aoo = self::Boo with self::Aoo /*isAnonymousMixin*/ {
synthetic constructor •() self::_Foo&Boo&Aoo
: super self::Boo::•()
;
}
class Foo extends self::_Foo&Boo&Aoo {
synthetic constructor •() self::Foo
;
}
class Goo = self::Boo with self::Aoo {
synthetic constructor •() self::Goo
: super self::Boo::•()
;
}
abstract class _Hoo&Object&Aoo = core::Object with self::Aoo /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_Hoo&Object&Aoo
: super core::Object::•()
;
}
class Hoo extends self::_Hoo&Object&Aoo implements self::Boo {
synthetic constructor •() self::Hoo
;
}
class Ioo = core::Object with self::Aoo implements self::Boo /*hasConstConstructor*/ {
const synthetic constructor •() self::Ioo
: super core::Object::•()
;
}
abstract class _Joo&Boo&Never extends self::Boo /*isAnonymousMixin*/ {
synthetic constructor •() self::_Joo&Boo&Never
: super self::Boo::•()
;
}
class Joo extends self::_Joo&Boo&Never {
synthetic constructor •() self::Joo
;
}
class Koo extends core::Object {
synthetic constructor •() self::Koo
;
}
class Loo extends core::Object {
synthetic constructor •() self::Loo
;
}
abstract class Moo1 extends self::Aoo implements self::Boo /*isMixinDeclaration*/ {
}
abstract class _Moo2&Aoo&Boo extends core::Object implements self::Aoo, self::Boo /*isAnonymousMixin*/ {
synthetic constructor •() self::_Moo2&Aoo&Boo
;
}
abstract class Moo2 extends self::_Moo2&Aoo&Boo /*isMixinDeclaration*/ {
}
abstract class Moo3 extends core::Object implements self::Aoo, self::Boo /*isMixinDeclaration*/ {
}
abstract class Moo4 extends self::Aoo /*isMixinDeclaration*/ {
}
abstract class _Moo5&Aoo&Never extends core::Object implements self::Aoo /*isAnonymousMixin*/ {
synthetic constructor •() self::_Moo5&Aoo&Never
;
}
abstract class Moo5 extends self::_Moo5&Aoo&Never /*isMixinDeclaration*/ {
}
abstract class Moo6 extends core::Object /*isMixinDeclaration*/ {
}
abstract class Moo7 extends core::Object implements self::Aoo /*isMixinDeclaration*/ {
}
abstract class Moo8 extends core::Object /*isMixinDeclaration*/ {
}
class Noo = core::Object with self::Aoo {
synthetic constructor •() self::Noo
;
}
class NooDynamic = core::Object with self::Aoo {
synthetic constructor •() self::NooDynamic
;
}
class NooVoid = core::Object with self::Aoo {
synthetic constructor •() self::NooVoid
;
}
class Ooo extends self::Aoo {
synthetic constructor •() self::Ooo
: super self::Aoo::•()
;
}
static method main() dynamic
;