Clean up a TODO
Clean up TODO: Inferred vals are no longer accepted with more holes than they were originally