summary refs log tree commit diff
path: root/src/test/run-pass/static-recursive.rs
AgeCommit message (Collapse)AuthorLines
2015-07-24Allow writing types which "can't" be instantiated.Eli Friedman-0/+30
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.
2015-07-24Add static_recursion feature gate.Eli Friedman-0/+2
2015-07-24Allow recursive static variables.Eli Friedman-0/+15
There isn't any particularly good reason for this restriction, so just get rid of it, and fix trans to handle this case.