diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-11-02 15:10:05 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-11-21 16:35:04 +0000 |
| commit | ae80c764d46a3c250a6cc41e5d2de5b8ed48567e (patch) | |
| tree | 33d45438def2000f3accc145225bc4268e8da38d /compiler/rustc_lint/src/builtin.rs | |
| parent | 94fe30ff2fa39a912325121846074a659e8ec420 (diff) | |
| download | rust-ae80c764d46a3c250a6cc41e5d2de5b8ed48567e.tar.gz rust-ae80c764d46a3c250a6cc41e5d2de5b8ed48567e.zip | |
Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence
Diffstat (limited to 'compiler/rustc_lint/src/builtin.rs')
| -rw-r--r-- | compiler/rustc_lint/src/builtin.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_lint/src/builtin.rs b/compiler/rustc_lint/src/builtin.rs index c2d0a662ddb..01a5ba65d8f 100644 --- a/compiler/rustc_lint/src/builtin.rs +++ b/compiler/rustc_lint/src/builtin.rs @@ -1659,6 +1659,7 @@ impl<'tcx> LateLintPass<'tcx> for TrivialConstraints { Coerce(..) | ConstEvaluatable(..) | ConstEquate(..) | + Ambiguous | TypeWellFormedFromEnv(..) => continue, }; if predicate.is_global() { |