Merge branch 'patches/bug10054' * patches/bug10054: Compiler [Typechecker]: compiler_discard_type() now leaves a marker.