Make sure the new solver agrees

This commit is contained in:
Oli Scherer 2024-01-10 16:05:24 +00:00
parent 08fc5e8acd
commit 0ae00444dc

View File

@ -1,4 +1,6 @@
// check-pass
// revisions: new old
//[new] compile-flags: -Znext-solver
//! This test checks that we can successfully infer
//! the hidden type of `FooImpl` to be `Foo<i32, {closure}>`