Matthias Krüger

I tried this code: ```rust #![feature(never_type)] #[derive(Copy, Clone)] pub enum E { A(!), } pub union U { u: (), e: E, } #[kani::proof] fn main() { let E::A(ref _a)...

ICE: `failed to resolve instance for <dyn ThriftService as ThriftService>::foo`

1

I tried this code: ```rust use std::future::Future; pub trait Service { type Response; type Future: Future; } pub trait ThriftService: Service { fn foo(&self) {} } #[kani::proof] fn main() {...