Auto merge of #2149 - RalfJung:tests, r=RalfJung

move some compile-fail tests to a more appropriate location

These are testing validity invariants, after all.
This commit is contained in:
bors 2022-05-23 09:43:35 +00:00
commit 8f01d862d8
4 changed files with 0 additions and 0 deletions