diff options
Diffstat (limited to 'spec/06-expressions.md')
-rw-r--r-- | spec/06-expressions.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 2b238d149a..468d9f5fef 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -1361,6 +1361,7 @@ Note that a function literal that targets a SAM is not necessarily compiled to t It follows that: - if class `C` defines a constructor, it must be accessible and must define exactly one, empty, argument list; + - class `C` cannot be `final` or `sealed` (for simplicity we ignore the possibility of SAM conversion in the same compilation unit as the sealed class); - `m` cannot be polymorphic; - it must be possible to derive a fully-defined type `U` from `S` by inferring any unknown type parameters of `C`. |