diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2015-06-28 10:38:28 -0700 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2015-07-24 19:18:16 -0700 |
| commit | 0eea0f6e907ff8c8a25a10004bede7b4621b50aa (patch) | |
| tree | 4e7dd59605a8022a06728ccb58bd0d3001265209 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 742e1242d9b568edfef51d968f4f81787534e475 (diff) | |
| download | rust-0eea0f6e907ff8c8a25a10004bede7b4621b50aa.tar.gz rust-0eea0f6e907ff8c8a25a10004bede7b4621b50aa.zip | |
Allow writing types which "can't" be instantiated.
The borrow checker doesn't allow constructing such a type at runtime using safe code, but there isn't any reason to ban them in the type checker. Included in this commit is an example of a neat static doubly-linked list. Feature-gated under the static_recursion gate to be on the safe side, but there are unlikely to be any reasons this shouldn't be turned on by default.
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions