Universally quantified type variables

Implement universally quantified type variables, both explicitly given
by the user and inferred by the type inference algorithm.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/main.rs b/src/main.rs
index d476b96ed634..4ba0aaf33e91 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,4 +1,5 @@
 #![feature(str_split_once)]
+#![feature(or_insert_with_key)]
 
 use clap::Clap;