Closed nilehmann closed 5 months ago
Do not generate refinements when instantiating generic arguments mentioned in a trait bound, except for some special cases.
Do not generate refinements when instantiating generic arguments mentioned in a trait bound, except for some special cases.