diff options
| author | Michael Goulet <michael@errs.io> | 2024-09-28 14:16:05 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-09-30 12:18:02 -0400 |
| commit | eb75d20a55e7c6416592a6e9d4d2e7e21e08ce14 (patch) | |
| tree | 1955125f363e3a98da08e2d1f502cbaf5638881e /tests/ui/codegen | |
| parent | c3ce4e66a5732a5b89c9f495b44357bf6b29d424 (diff) | |
| download | rust-eb75d20a55e7c6416592a6e9d4d2e7e21e08ce14.tar.gz rust-eb75d20a55e7c6416592a6e9d4d2e7e21e08ce14.zip | |
Relax a debug assertion in codegen
Diffstat (limited to 'tests/ui/codegen')
| -rw-r--r-- | tests/ui/codegen/sub-principals-in-codegen.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/ui/codegen/sub-principals-in-codegen.rs b/tests/ui/codegen/sub-principals-in-codegen.rs new file mode 100644 index 00000000000..178c10da596 --- /dev/null +++ b/tests/ui/codegen/sub-principals-in-codegen.rs @@ -0,0 +1,8 @@ +//@ build-pass + +// Regression test for an overly aggressive assertion in #130855. + +fn main() { + let subtype: &(dyn for<'a> Fn(&'a i32) -> &'a i32) = &|x| x; + let supertype: &(dyn Fn(&'static i32) -> &'static i32) = subtype; +} |