about summary refs log tree commit diff
path: root/src/libstd/sys/unix/stack_overflow.rs
diff options
context:
space:
mode:
authorAaron Turon <aturon@mozilla.com>2015-04-24 14:34:57 -0700
committerAaron Turon <aturon@mozilla.com>2015-04-30 18:20:22 -0700
commita5762625a168f195afbc5b74d674a93f8c692a8e (patch)
tree1d5cd7de1e4894a220c1d34578defbdc0c305d63 /src/libstd/sys/unix/stack_overflow.rs
parente962870420fef19e8f23a299dbe7499aca1656a5 (diff)
downloadrust-a5762625a168f195afbc5b74d674a93f8c692a8e.tar.gz
rust-a5762625a168f195afbc5b74d674a93f8c692a8e.zip
Add downcasting to std::error::Error
This commit brings the `Error` trait in line with the [Error interoperation
RFC](https://github.com/rust-lang/rfcs/pull/201) by adding downcasting,
which has long been intended. This change means that for any `Error`
trait objects that are `'static`, you can downcast to concrete error
types.

To make this work, it is necessary for `Error` to inherit from
`Reflect` (which is currently used to mark concrete types as "permitted
for reflection, aka downcasting"). This is a breaking change: it means
that impls like

```rust
impl<T> Error for MyErrorType<T> { ... }
```

must change to something like

```rust
impl<T: Reflect> Error for MyErrorType<T> { ... }
```

except that `Reflect` is currently unstable (and should remain so for
the time being). For now, code can instead bound by `Any`:

```rust
impl<T: Any> Error for MyErrorType<T> { ... }
```

which *is* stable and has `Reflect` as a super trait. The downside is
that this imposes a `'static` constraint, but that only
constrains *when* `Error` is implemented -- it does not actually
constrain the types that can implement `Error`.

[breaking-change]
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions