Two more cases where the compiler could miss instantiation errors