{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                    // Trait are always invariant so we can take advantage of that.
                if let Some(trait_ref) = it.principal() {
                    self.add_constraints_from_invariant_args(