Warn when invoking polymorphic functions with non-implicitly-copyable types #2466
Labels
A-type-system
Area: Type system
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
As part of #2431, warn when we invoke a polymorphic function taking something of kind "copy" with a type parameter that is not implicitly copyable. We also will need some way to suppress this warning.
The text was updated successfully, but these errors were encountered: