On Tue, 16 Mar 2021, Carter Schonwald wrote: > Huh! When does that happen? I thought that’s only with leading > underscore for typed hole syntax I don't know exactly, it happens sometimes but not always.