Skip to content

Commit

Permalink
Update 0244-opaque-result-types.md
Browse files Browse the repository at this point in the history
  • Loading branch information
airspeedswift committed May 17, 2019
1 parent e1dd654 commit 9c0193d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion proposals/0244-opaque-result-types.md
Expand Up @@ -170,7 +170,8 @@ Like a generic argument, the static type system does not consider the opaque typ
```swift
func foo() -> some BinaryInteger { return 219 }
var x = foo()
x = 912 // error: Int is not known to be the same as the return type as foo()
let i = 912
x = i // error: Int is not known to be the same as the return type as foo()
```

However, one can inspect an opaque type's underlying type at runtime using dynamic casting:
Expand Down

0 comments on commit 9c0193d

Please sign in to comment.