{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"self.record_variance(a,"}]}
        self.record_variance(a, self.ambient_variance);
        assert_eq!(a, b); // we are misusing TypeRelation here; both LHS and RHS ought to be ==
        Ok(a)