{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
        let lazily_normalize_ty = |ty| self.structurally_normalize_ty(param_env, ty);
        let delegate = self.delegate;
        coherence::trait_ref_is_knowable(&**delegate, trait_ref, lazily_normalize_ty)