Export in extension not working as per the documentaion

[Duraisingan]

[sangamon]

Looks like an IntelliJ issue. The example code compiles and runs just fine, it’s only flagged in the editor. Code/Metals doesn’t complain, either.