library;
//
// Problems in library:
//
// pkg/front_end/testcases/rasta/typedef.dart:9:3: Error: Can't assign to a type literal.
//   Foo = null;
//   ^^^
//
// pkg/front_end/testcases/rasta/typedef.dart:10:3: Error: Can't assign to a type literal.
//   Foo ??= null;
//   ^^^
//
// pkg/front_end/testcases/rasta/typedef.dart:11:3: Error: Method not found: 'Foo'.
//   Foo();
//   ^^^
//
import self as self;
import "dart:core" as core;

typedef Foo = () →* void;
static method main() → dynamic {
  core::print(() →* void);
  invalid-expression "pkg/front_end/testcases/rasta/typedef.dart:9:3: Error: Can't assign to a type literal.
  Foo = null;
  ^^^";
  () →* void.{core::Type::==}(null) ?{dynamic} invalid-expression "pkg/front_end/testcases/rasta/typedef.dart:10:3: Error: Can't assign to a type literal.
  Foo ??= null;
  ^^^" : null;
  invalid-expression "pkg/front_end/testcases/rasta/typedef.dart:11:3: Error: Method not found: 'Foo'.
  Foo();
  ^^^";
}


Extra constant evaluation status:
Evaluated: TypeLiteral @ org-dartlang-testcase:///typedef.dart:8:9 -> TypeLiteralConstant(void Function()*)
Evaluated: ConditionalExpression @ org-dartlang-testcase:///typedef.dart:10:7 -> NullConstant(null)
Extra constant evaluation: evaluated: 3, effectively constant: 2