Added Dotty test.