necessary for type const patterns as well as generic patterns which normalize to valtrees based off associated const binding clauses
unclear if this should apply to non-type consts. it would fix #106 and #89 or atleast make the implementation simpler
necessary for type const patterns as well as generic patterns which normalize to valtrees based off associated const binding clauses
unclear if this should apply to non-type consts. it would fix #106 and #89 or atleast make the implementation simpler