syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"TreatParams::AsRigid"}]}
source_snippet:             TreatParams::AsRigid
context_before:             // don't unify with anything else as long as they are fully normalized.
context_after:                 if !ty.has_non_region_infer() || cx.next_trait_solver_globally() =>