{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"self.param_env"}]}
        self.param_env == other.param_env && self.predicate == other.predicate
        // stresses the trait system.
    }