fix elaborate for predicates with unbound variables

[rust.git] / src / librustc_trait_selection / traits / auto_trait.rs

diff --git a/src/librustc_trait_selection/traits/auto_trait.rs b/src/librustc_trait_selection/traits/auto_trait.rs
index 9c530912bf0e4ed88a7d8b68cb3564b2f6550ec1..74a4939ae10d5cf4c9d45d2fde20257be82ccf16 100644 (file)
--- a/src/librustc_trait_selection/traits/auto_trait.rs
+++ b/src/librustc_trait_selection/traits/auto_trait.rs
@@ -763,7 +763,7 @@ fn evaluate_nested_obligations(
                             }
                         }
                         Ok(None) => {
-                            // It's ok not to make progress when hvave no inference variables -
+                            // It's ok not to make progress when have no inference variables -
                             // in that case, we were only performing unifcation to check if an
                             // error occurred (which would indicate that it's impossible for our
                             // type to implement the auto trait).