about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
diff options
context:
space:
mode:
authorJack Huey <31162821+jackh726@users.noreply.github.com>2022-09-16 17:20:11 -0400
committerJack Huey <31162821+jackh726@users.noreply.github.com>2022-09-16 17:20:11 -0400
commit9929c0ac76bbbe2b3b8a0c28df91310067ae57fa (patch)
tree696ecea54a52961e5257e4137714ba37acb8bf3e /compiler/rustc_trait_selection/src/traits
parentec17be2656fc69e212d9079f79322a68a3cfbc19 (diff)
downloadrust-9929c0ac76bbbe2b3b8a0c28df91310067ae57fa.tar.gz
rust-9929c0ac76bbbe2b3b8a0c28df91310067ae57fa.zip
Add AscribeUserTypeProvePredicate
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits')
-rw-r--r--compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs b/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
index 973cddbd179..13d9c160038 100644
--- a/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
+++ b/compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
@@ -2256,7 +2256,8 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
             | ObligationCauseCode::QuestionMark
             | ObligationCauseCode::CheckAssociatedTypeBounds { .. }
             | ObligationCauseCode::LetElse
-            | ObligationCauseCode::BinOp { .. } => {}
+            | ObligationCauseCode::BinOp { .. }
+            | ObligationCauseCode::AscribeUserTypeProvePredicate(..) => {}
             ObligationCauseCode::SliceOrArrayElem => {
                 err.note("slice and array elements must have `Sized` type");
             }