// check-pass // ICE found in https://github.com/rust-lang/rust/issues/83123 pub struct Attribute; pub struct Map<'hir> {} impl<'hir> Map<'hir> { pub fn attrs(&self) -> &'hir [Attribute] { &[] } } pub struct List(T); impl std::ops::Deref for List { type Target = [T]; fn deref(&self) -> &[T] { &[] } }