Alternatively, we could report or at least record the deprecation when we first typecheck `D`.