> It's like saying a Java developer fights the type system. Plenty of people have fought the type system in Java. Happens all the time with Generics and Type e

> It's like saying a Java developer fights the type system. Plenty of people have fought the type system in Java. Happens all the time with Generics and Type eraser. How many projects have work around for that Scala, Flink, etc... And it is a fight with the borrow checker because there a plenty valid and correct code fragments that the borrow checker rejects.