thread 'rustc' panicked at src/rty/subtyping.rs:117:18:
inconsistent types: got=(), expected=(own (),
)
stack backtrace:
0: rust_begin_unwind
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/library/std/src/panicking.rs:645:5
1: core::panicking::panic_fmt
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/library/core/src/panicking.rs:72:14
2: <C as thrust::rty::subtyping::Subtyping>::relate_sub_type
at ./src/rty/subtyping.rs:117:18
3: <C as thrust::rty::subtyping::Subtyping>::relate_sub_refined_type
at ./src/rty/subtyping.rs:137:27
4: <C as thrust::rty::subtyping::Subtyping>::relate_sub_type
at ./src/rty/subtyping.rs:111:30
5: thrust::rty::subtyping::relate_sub_closed_type
at ./src/rty/subtyping.rs:168:5
6: thrust::analyze::local_def::Analyzer::assert_entry
at ./src/analyze/local_def.rs:762:23
7: thrust::analyze::local_def::Analyzer::run
at ./src/analyze/local_def.rs:797:9
8: thrust::analyze::crate_::Analyzer::analyze_local_defs
at ./src/analyze/crate_.rs:135:13
9: thrust::analyze::crate_::Analyzer::run
at ./src/analyze/crate_.rs:240:9
10: <thrust_rustc::CompilerCalls as rustc_driver_impl::Callbacks>::after_analysis::{{closure}}
at ./src/main.rs:54:13
11: rustc_middle::ty::context::GlobalCtxt::enter::{{closure}}
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/compiler/rustc_middle/src/ty/context.rs:649:37
12: rustc_middle::ty::context::tls::enter_context::{{closure}}
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/compiler/rustc_middle/src/ty/context/tls.rs:82:9
13: std::thread::local::LocalKey<T>::try_with
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/library/std/src/thread/local.rs:284:16
14: std::thread::local::LocalKey<T>::with
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/library/std/src/thread/local.rs:260:9
15: rustc_middle::ty::context::tls::enter_context
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/compiler/rustc_middle/src/ty/context/tls.rs:79:9
16: rustc_middle::ty::context::GlobalCtxt::enter
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/compiler/rustc_middle/src/ty/context.rs:649:9
17: rustc_interface::queries::QueryResult<&rustc_middle::ty::context::GlobalCtxt>::enter
at /rustc/9c3ad802d9b9633d60d3a74668eb1be819212d34/compiler/rustc_interface/src/queries.rs:71:9
18: <thrust_rustc::CompilerCalls as rustc_driver_impl::Callbacks>::after_analysis
at ./src/main.rs:51:9
19: rustc_interface::interface::run_compiler::<core::result::Result<(), rustc_span::ErrorGuaranteed>, rustc_driver_impl::run_compiler::{closure#0}>::{closure#0}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
9e92551