1.1 created acceptance test
1.2 minimal implementation to make the test compile
1.3 minimal implementation to make the test failing "for a good reason" (i.e. correct diagnostics)