I renamed the tests to include a `typeck` prefix, does this look good? Or did you mean to have a more detailed  name like `typeck_astconv` ?