Failure on type-equality check during incorporation doesn't trigger inference error Reviewed-by: vromero
Maurizio Cimadamore