Skip to content

Commit 3b03d2a

Browse files
authored
Result of pure factory function (#3507)
Result of pure factory function Signed-off-by: Nicholas Wilson <[email protected]> Merged-on-behalf-of: Nicholas Wilson <[email protected]>
1 parent 4d138ec commit 3b03d2a

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

spec/function.dd

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -533,7 +533,9 @@ $(H3 $(LNAME2 pure-factory-functions, Pure Factory Functions))
533533
The mutable
534534
references of the result similarly cannot refer to any object that
535535
existed before the function call.
536-
This allows the result to be implicitly cast to any qualifier.
536+
This allows the result to be implicitly cast
537+
from anything to `immutable` or `const shared`,
538+
and from `shared` and `const shared` to (unshared) `const`.
537539
For example:)
538540

539541
$(SPEC_RUNNABLE_EXAMPLE_COMPILE

0 commit comments

Comments
 (0)