pub use self::context::{Lift, TypeckTables, CtxtInterners};
pub use self::context::{
UserTypeAnnotationIndex, UserType, CanonicalUserType,
- CanonicalUserTypeAnnotation, CanonicalUserTypeAnnotations,
+ CanonicalUserTypeAnnotation, CanonicalUserTypeAnnotations, ResolvedOpaqueTy,
};
pub use self::instance::{Instance, InstanceDef};