{"ast_node_type":"function","tokens":[{"end":87,"kind":"keyword","start":0,"text":"fn"}]}
    fn impl_self_ty_with_diagnostics(&self, def: ImplId) -> (Binders<Ty>, Diagnostics);
    #[salsa::cycle(cycle_result = crate::lower::impl_self_ty_with_diagnostics_cycle_result)]