Ayaz Hafiz e36618b9e9 Support custom abilities for opaques with immaterial lambda sets ... If a specialization of an ability member has a lambda set that is not reflected in the unspecialized lambda sets of the member's prototype signature, then the specialization lambda set is deemed to be immaterial to the specialization lambda set mapping, and we don't need to associate it with a particular region from the prototype signature. This can happen when an opaque contains functions that are some specific than the generalized prototype signature; for example, when we are defining a custom impl for an opaque with functions. Addresses a bug found in 8c3158c3e0		2022-11-21 18:03:56 -06:00
..
src	Support custom abilities for opaques with immaterial lambda sets	2022-11-21 18:03:56 -06:00
Cargo.toml	Support custom abilities for opaques with immaterial lambda sets	2022-11-21 18:03:56 -06:00