I see in the stdlib some annotations like
#[universes(template)], is this documented anywhere?
Ah, so it's about universe of params. Thanks!
Note that there is an off-by-default warning when you rely on
Auto Template Polymorphism instead of putting these annotations.
Last updated: Oct 04 2023 at 19:01 UTC