syntax_data: {"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // code for patterns in HIR.
context_before:             // but it's easier to adjust this here rather than in the path lowering
context_after:             if let ty::UserTypeKind::TypeOf(did, _) = &mut user_ty.value.kind {