{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"Binders,"}]}
    Binders, BoundVar, CallableSig, GenericArg, GenericArgData, Interner, ProjectionTy,
use crate::{
    Substitution, TraitRef, Ty, TyDefId, TyExt, TyKind, consteval::unknown_const_as_generic,