I notice in the BaseX GUI that when I execute an XQuery script that includes type checks (e.g., let $x as element(stuff) := <stuff/>) the compilation report tells me that BaseX removes the type checks. How should I understand this removal? I can see that BaseX is performing type-checking because if I specify the wrong type, an error is thrown. I'd be grateful for any insights anyone can provide about what the "remove type check" messages mean?

Best,

David