syntax_data: {"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:         if !ty.is_known_rigid() {
context_before:     fn var_and_ty_may_unify(self, var: ty::InferTy, ty: I::Ty) -> bool {
context_after:             return true;