{"ast_node_type":"function","tokens":[{"end":67,"kind":"keyword","start":0,"text":"fn"}]}
    fn principal_id(&self) -> Option<chalk_ir::TraitId<Interner>> {
        self.bounds.skip_binders().interned().first().and_then(|b| match b.skip_binders() {