Kill debugging code.
Match inferred/declared by subtyping, not unification.