syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"Box::new((place,"}]}
source_snippet:                             Box::new((place, UserTypeProjection { base, projs: Vec::new() })),
context_before:                         StatementKind::AscribeUserType(
context_after:                             // We always use invariant as the variance here. This is because the