diff options
| author | lcnr <rust@lcnr.de> | 2023-06-27 23:13:39 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-07-03 09:12:14 +0200 |
| commit | 5378f07d6419bd1307e32fbba0db0c8b4e443214 (patch) | |
| tree | 33ca392bb86d4751aeedaa90b6c1f20cbc329e08 /compiler/rustc_middle/src | |
| parent | d2c74491890aed653b27dfd02fcd853603d83527 (diff) | |
| download | rust-5378f07d6419bd1307e32fbba0db0c8b4e443214.tar.gz rust-5378f07d6419bd1307e32fbba0db0c8b4e443214.zip | |
use `deeply_normalize` for `assumed_wf_types`
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs index c12587845e5..a8cdf8286fe 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -881,7 +881,7 @@ rustc_queries! { /// /// Note that we've liberated the late bound regions of function signatures, so /// this can not be used to check whether these types are well formed. - query assumed_wf_types(key: DefId) -> &'tcx ty::List<Ty<'tcx>> { + query assumed_wf_types(key: LocalDefId) -> &'tcx [(Ty<'tcx>, Span)] { desc { |tcx| "computing the implied bounds of `{}`", tcx.def_path_str(key) } } |