{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"return"}]}
            return InferOk { value, obligations: PredicateObligations::new() };
        if !value.has_opaque_types() {
        }