{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Substitution::from1(Interner,"}]}
                Substitution::from1(Interner, source_ty),
                CallableDefId::FunctionId(deref_fn).to_chalk(self.db),
            )