{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"type"}]}
    type Term = ty::Term<'tcx>;
    type GenericArg = ty::GenericArg<'tcx>;
    type BoundVarKinds = &'tcx List<ty::BoundVariableKind>;