more variance

This commit is contained in:
Alex Waygood 2025-08-28 21:45:56 +01:00
parent 94338fa9bc
commit 4a759b7707
1 changed files with 2 additions and 0 deletions

View File

@ -333,11 +333,13 @@ impl<'db> VarianceInferable<'db> for ProtocolInterface<'db> {
member
.instance_get_type(db)
.into_iter()
.chain(member.meta_get_type())
.map(|get_type| get_type.variance_of(db, typevar))
.chain(
member
.instance_set_type()
.into_iter()
.chain(member.meta_set_type())
.map(|set_type| set_type.variance_of(db, typevar).flip()),
)
})