List view
0 issues of 229 selected
- Status: Merged (completed).scala/scala3number 13780#13780 In scala/scala3;
- Status: Merged (completed).scala/scala3number 13975#13975 In scala/scala3;
- Status: Merged (completed).scala/scala3number 13976#13976 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14002#14002 In scala/scala3;
- Status: Merged (completed).scala/scala3number 13367#13367 In scala/scala3;
- Status: Merged (completed).scala/scala3number 13652#13652 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15277#15277 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15275#15275 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15355#15355 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15338#15338 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15340#15340 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15237#15237 In scala/scala3;
- Status: Merged (completed).scala/scala3number 15088#15088 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14681#14681 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14683#14683 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14686#14686 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14703#14703 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14702#14702 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14725#14725 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14730#14730 In scala/scala3;
Avoid unsound GADT constraints derived from subtyping relations between singletons and refined types
Status: Merged (completed).scala/scala3number 14728#14728 In scala/scala3;- Status: Merged (completed).scala/scala3number 14733#14733 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14727#14727 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14750#14750 In scala/scala3;
- Status: Merged (completed).scala/scala3number 14718#14718 In scala/scala3;