{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"variables:"}]}
        variables: &List<CanonicalVarKind<'tcx>>,
        span: Span,
        universe_map: impl Fn(ty::UniverseIndex) -> ty::UniverseIndex,