Could you please add a small description of what this test does?

Also could you rename the test file to something like: `typeck-type-hints.rs` 

(same for other test files)