Agda-2.3.2.2: test/fail/MissingDefinition.err

MissingDefinition.agda:4,1-2
Missing definition for T