Oh no, that might be an Editor bug, does it give you warnings? if it's unnannotated, it's dynamic, then t.done shouldn't have a warning.