library test;
import self as self;
import "dart:core" as core;

abstract class C<T extends core::Object> extends core::Object {
  static field dynamic _redirecting# = <dynamic>[self::C::•];
  abstract get t() → self::C::T;
  abstract set t(self::C::T x) → void;
  static factory •<T extends core::Object>(self::C::•::T t) → self::C<self::C::•::T>
    let dynamic #redirecting_factory = self::CImpl::• in invalid-expression;
}
class CImpl<T extends core::Object> extends core::Object implements self::C<self::CImpl::T> {
  field self::CImpl::T t;
  constructor _(self::CImpl::T t) → void
    : self::CImpl::t = t, super core::Object::•()
    ;
  static factory •<T extends core::Object>(self::CImpl::•::T t) → self::CImpl<self::CImpl::•::T>
    return new self::CImpl::_<self::CImpl::•::T>(t);
}
static method main() → dynamic {
  self::C<core::int> x = self::CImpl::•<core::int>(42);
}