{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<(ValueNs, Option<chalk_ir::Substitution<Interner>>)> {
        no_diagnostics: bool,
        // Don't use `self.make_ty()` here as we need `orig_ns`.