syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"Ok(t)"}]}
source_snippet:             Ok(t) => Ok(t.expect_ty()),
context_before:         match self.try_normalize_generic_arg_after_erasing_regions(ty.into()) {
context_after:             Err(_) => Err(NormalizationError::Type(ty)),