Arthur Reutenauer wrote: >> Well – no. The minimal example I posted compiles just fine, neither >> a warning or an error. > > Even in the log file? No, nothing. – Arno