{"ast_node_type":"function","tokens":[{"end":63,"kind":"keyword","start":0,"text":"fn"}]}
    fn principal(&self) -> Option<Binders<Binders<&TraitRef>>>;
pub trait DynTyExt {
    fn principal_id(&self) -> Option<chalk_ir::TraitId<Interner>>;