Support `T: Deref...where` in underlying structs from type aliases