Now that inlining, mir validation and const eval all use reveal-all, we won't be constraining hidden types here anymore r? `@compiler-errors` one bubble down, two more to go the test is unrelated, just something I noticed would be good to test in both the old solver and the new. |
||
|---|---|---|
| .. | ||
| alignment.rs | ||
| caller_location.rs | ||
| check_validity_requirement.rs | ||
| compare_types.rs | ||
| mod.rs | ||
| type_name.rs | ||