Type inference comments, enable test.