{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<Vec<Goal<I, I::Predicate>>, NoSolution> {
        rhs: T,
        Ok(self.delegate.relate(param_env, lhs, ty::Variance::Invariant, rhs, self.origin_span)?)