{"ast_node_type":"variable","tokens":[{"end":44,"kind":"keyword","start":0,"text":"let"}]}
    let generics = generics(db, adt.into());
fn type_for_adt(db: &dyn HirDatabase, adt: AdtId) -> Binders<Ty> {
    let subst = generics.bound_vars_subst(db, DebruijnIndex::INNERMOST);