"Checks" but not compiles.