Function explicit_item_bounds 

pub fn explicit_item_bounds<'db>(
    interner: DbInterner<'db>,
    def_id: SolverDefId,
) -> EarlyBinder<DbInterner<'db>, impl DoubleEndedIterator + ExactSizeIterator>