{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"assume:"}]}
        assume: <Self::Interner as Interner>::Const,
        src: <Self::Interner as Interner>::Ty,
    ) -> Result<Certainty, NoSolution>;