diff options
| author | Michael Goulet <michael@errs.io> | 2023-09-22 19:47:34 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-09-22 19:47:41 +0000 |
| commit | 8cfd249198dd0e04558d725452b91f4db3984633 (patch) | |
| tree | c98fed9e31ce4949d7405908086b747d6e0eccf7 /compiler/rustc_passes/src | |
| parent | 959b2c703d45f06962da3afa086bdda70d42efcf (diff) | |
| download | rust-8cfd249198dd0e04558d725452b91f4db3984633.tar.gz rust-8cfd249198dd0e04558d725452b91f4db3984633.zip | |
Allow higher-ranked fn sigs in ValuePairs
Diffstat (limited to 'compiler/rustc_passes/src')
| -rw-r--r-- | compiler/rustc_passes/src/check_attr.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_passes/src/check_attr.rs b/compiler/rustc_passes/src/check_attr.rs index 12118a0268b..afba366a365 100644 --- a/compiler/rustc_passes/src/check_attr.rs +++ b/compiler/rustc_passes/src/check_attr.rs @@ -2333,7 +2333,10 @@ impl CheckAttrVisitor<'_> { &mut diag, &cause, None, - Some(ValuePairs::Sigs(ExpectedFound { expected: expected_sig, found: sig })), + Some(ValuePairs::PolySigs(ExpectedFound { + expected: ty::Binder::dummy(expected_sig), + found: ty::Binder::dummy(sig), + })), terr, false, false, |