Constant rustc_middle::ty::context::NUM_PREINTERNED_FRESH_INT_TYS

const NUM_PREINTERNED_FRESH_INT_TYS: u32 = 3;