lifetime-generate panic!
utaal opened this issue · comments
produces:
thread 'rustc' panicked at 'internal error: function call to FunX { path: PathX { krate: Some("vstd"), segments: ["view", "impl&%9", "view"] } } not found src/host_impl_v.rs:969:91: 969:97 (#0)', rust_verify/src/lifetime_generate.rs:686:17