diff options
| author | kadmin <julianknodt@gmail.com> | 2021-07-30 08:56:45 +0000 |
|---|---|---|
| committer | kadmin <julianknodt@gmail.com> | 2022-01-17 17:20:57 +0000 |
| commit | 07659996221446273065651ff9c0fcb00935eb03 (patch) | |
| tree | d8ec7e7793412d8ae5f67f00ace1e021bad1f402 /compiler/rustc_interface/src | |
| parent | a34c0797528172ede89480e3033f7a5e71ea4735 (diff) | |
| download | rust-07659996221446273065651ff9c0fcb00935eb03.tar.gz rust-07659996221446273065651ff9c0fcb00935eb03.zip | |
add eq constraints on associated constants
Diffstat (limited to 'compiler/rustc_interface/src')
| -rw-r--r-- | compiler/rustc_interface/src/util.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_interface/src/util.rs b/compiler/rustc_interface/src/util.rs index cb51555f5ca..abecc8d1a8b 100644 --- a/compiler/rustc_interface/src/util.rs +++ b/compiler/rustc_interface/src/util.rs @@ -738,8 +738,9 @@ impl<'a, 'b> ReplaceBodyWithLoop<'a, 'b> { | ast::GenericArg::Const(_) => false, }, ast::AngleBracketedArg::Constraint(c) => match c.kind { - ast::AssocTyConstraintKind::Bound { .. } => true, - ast::AssocTyConstraintKind::Equality { ref ty } => { + ast::AssocConstraintKind::Bound { .. } => true, + ast::AssocConstraintKind::ConstEquality { .. } => false, + ast::AssocConstraintKind::Equality { ref ty } => { involves_impl_trait(ty) } }, |