Backport "Avoid generating given definitions that loop"#19477

Merged

Kordyjan merged 11 commits intorelease-3.4.0from

Jan 18, 2024

Commits on Jan 18, 2024

Avoid generating given definitions that loop

odersky
authored and
Kordyjan
committed
Use experimental language import to enable the new behavior

odersky
authored and
Kordyjan
committed
Make the new behavior dependent on source >= 3.4

odersky
authored and
Kordyjan
committed
Restrict the new rules to givens that don't define a new class

odersky
authored and
Kordyjan
committed
Add tweaks and docs

odersky
authored and
Kordyjan
committed
Swap two givens in Specs2 to satisfy new restriuction

odersky
authored and
Kordyjan
committed
Turn given loop prevention on for -source future

odersky
authored and
Kordyjan
committed
Adapt docs

odersky
authored and
Kordyjan
committed
Add test showing use of @nowarn

odersky
authored and
Kordyjan
committed
Fix algorithm to prevent recursive givens

odersky
authored and
Kordyjan
committed
Regression test for 19417

odersky
authored and
Kordyjan
committed