diff options
| author | John Hodge <tpg@mutabah.net> | 2016-11-20 11:23:58 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-11-20 11:23:58 +0800 |
| commit | 70e274b016a0a285ed62e03193ffa27d3d94b1be (patch) | |
| tree | 726846c92bcdfd0aaad186445b99b6e52f6e9357 /Notes | |
| parent | 2248931ac65ad72736c203aa7ce327113e282440 (diff) | |
| download | mrust-70e274b016a0a285ed62e03193ffa27d3d94b1be.tar.gz | |
HIR Typecheck Expr - Hack around quirk where a cast can be a type hint
Diffstat (limited to 'Notes')
| -rw-r--r-- | Notes/Quirks.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Notes/Quirks.md b/Notes/Quirks.md index 2b0705a9..d3b7839d 100644 --- a/Notes/Quirks.md +++ b/Notes/Quirks.md @@ -52,5 +52,9 @@ The "base" value of a struct literal isn't always moved Binops are coercion points ========================== +- This only really shows up with some edge cases where the RHS is inferred +Casts can act as coercions +========================== +- E.g. `None as Option<Span>` is perfectly valid, and is the same as `None::<Span>` |