Skip to content

Commit

Permalink
actually test next solver
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Nov 13, 2024
1 parent 209799f commit 9ea4360
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
//@ revisions: current next
//@[next] compile-flags: -Znext-solver
//@ ignore-compare-mode-next-solver (explicit revisions)
//@ check-pass

// This goal is also possible w/ a GAT, but lazy_type_alias
Expand Down

0 comments on commit 9ea4360

Please sign in to comment.