{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"span:"}]}
        span: <Self::Interner as Interner>::Span,
        kind: ty::CanonicalVarKind<Self::Interner>,
        universe_map: impl Fn(ty::UniverseIndex) -> ty::UniverseIndex,