Fix pre-condition to accept type used at runtime