diff options
| author | Nadrieril | 2019-04-21 22:52:00 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-21 22:52:00 +0200 |
| commit | ecff0ecd47bb38937fb43e60b8d78ea92e2af01c (patch) | |
| tree | 00851982d545e10a3bac297b30726603e4f95948 /dhall/src/lib.rs | |
| parent | 20f01b79378a41c6e063d33c584d04c756419a26 (diff) | |
Prepare for interop between two contexts
Diffstat (limited to 'dhall/src/lib.rs')
| -rw-r--r-- | dhall/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index c85b962..3860890 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -4,6 +4,7 @@ #![feature(label_break_value)] #![feature(non_exhaustive)] #![feature(bind_by_move_pattern_guards)] +#![feature(try_trait)] #![cfg_attr(test, feature(custom_inner_attributes))] #![allow( clippy::type_complexity, |