| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2015-07-24 | Allow 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-24 | Add static_recursion feature gate. | Eli Friedman | -0/+2 | |
| 2015-07-24 | Allow 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. | ||||
