diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-20 08:56:04 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-10-07 19:36:32 +0000 |
| commit | 5d15beb5919e4ed481c44a1ac19c2ad04a36ee8a (patch) | |
| tree | 9c80c6ab82781c164d0c3ce0246406a6c5286fef /src/test/ui/impl-trait | |
| parent | 43c22af267fd9337bc05382b2771dde49d2e9f26 (diff) | |
| download | rust-5d15beb5919e4ed481c44a1ac19c2ad04a36ee8a.tar.gz rust-5d15beb5919e4ed481c44a1ac19c2ad04a36ee8a.zip | |
Unconditionally encode hidden types in typeck results
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/issues/issue-86800.stderr | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/test/ui/impl-trait/issues/issue-86800.stderr b/src/test/ui/impl-trait/issues/issue-86800.stderr index 135d06d44ad..6c4aa35679d 100644 --- a/src/test/ui/impl-trait/issues/issue-86800.stderr +++ b/src/test/ui/impl-trait/issues/issue-86800.stderr @@ -1,3 +1,11 @@ +error: unconstrained opaque type + --> $DIR/issue-86800.rs:33:34 + | +LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | + = + stack backtrace: @@ -12,8 +20,7 @@ error: internal compiler error: unexpected panic query stack during panic: -#0 [mir_borrowck] borrow-checking `execute_transaction_fut` -#1 [type_of] computing type of `TransactionFuture::{opaque#0}` -#2 [check_mod_item_types] checking item types in top-level module -#3 [analysis] running analysis passes on this crate +#0 [type_of] computing type of `TransactionFuture::{opaque#0}` +#1 [check_mod_item_types] checking item types in top-level module +#2 [analysis] running analysis passes on this crate end of query stack |