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 e8cd59bf48..30fd94c1a8 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`. |