1
Fork 0

Rollup merge of #80548 - JohnTitor:wfcheck-foreign-fn-ice, r=davidtwco

FIx ICE on wf check for foreign fns

Fixes #80468

r? `@davidtwco` `@lcnr`
This commit is contained in:
Dylan DPC 2020-12-31 22:20:59 +01:00 committed by GitHub
commit 33806d2599
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 50 additions and 1 deletions

View file

@ -51,7 +51,7 @@ impl<'tcx> CheckWfFcxBuilder<'tcx> {
let fcx = FnCtxt::new(&inh, param_env, id);
if !inh.tcx.features().trivial_bounds {
// As predicates are cached rather than obligations, this
// needsto be called first so that they are checked with an
// needs to be called first so that they are checked with an
// empty `param_env`.
check_false_global_bounds(&fcx, span, id);
}