{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"variable_lookup_table:"}]}
    variable_lookup_table: HashMap<I::GenericArg, usize>,
    var_kinds: Vec<CanonicalVarKind<I>>,
    binder_index: ty::DebruijnIndex,