1 error: unconstrained opaque type
2 --> $DIR/issue-86800.rs:33:34
4 LL | type TransactionFuture<'__, O> = impl '__ + Future<Output = TransactionResult<O>>;
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12 error: internal compiler error: unexpected panic
22 query stack during panic:
23 #0 [type_of] computing type of `TransactionFuture::{opaque#0}`
24 #1 [check_mod_item_types] checking item types in top-level module
25 #2 [analysis] running analysis passes on this crate