4 ms·Really weird that this is even legal.by dependenttypes 6y agoReally weird that this is even legal.