Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
uncheckedCaptures
scala.annotation.unchecked.uncheckedCaptures
An annotation for mutable variables that are allowed to capture the root capability cap. Allowing this is not capture safe since it can cause leakage of capabilities from local scopes by assigning values retaining such capabilties to the annotated variable in an outer scope.
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4