diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-19 13:29:26 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-19 13:30:31 -0800 |
| commit | 3e25444e5194fef5a06fb82e1c7726f66c705c88 (patch) | |
| tree | e6c1f4ad667aeea42d38e15dd780ab4093cc3cce /src/libstd | |
| parent | cc2bd0282702b1987b0f26809ca03df5211f3250 (diff) | |
In trans, allow _|_-typed things to be the argument to fail
Rationale: _|_-typed things diverge, so it's safe to use them in any context. Closes #1465
Diffstat (limited to 'src/libstd')
0 files changed, 0 insertions, 0 deletions