syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":".position(|u|"}]}
source_snippet:                         .position(|u| matches!(u, Some(pu) if *pu == p.universe))
context_before:                         .iter()
context_after:                         .unwrap_or_else(|| bug!("Unexpected placeholder universe."));