(name: XtensionType).ctorRef(ctor)
(name: XtensionType).ctorRef(ctor)
(name: XtensionType).pat
(name: XtensionType).pat
(name: XtensionPatType).tpe
(name: XtensionPatType).tpe