{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"Binders::new("}]}
    Binders::new(
    let (ret, binders) = type_for_adt(db, def.into()).into_value_and_skipped_binders();
        binders,