Do wfcheck on ADT field before Sized check

2022-06-05 23:04:37 -07:00
parent 760237ff78
commit c1f4f980f4
6 changed files with 51 additions and 34 deletions
--- a/compiler/rustc_middle/src/traits/mod.rs
+++ b/compiler/rustc_middle/src/traits/mod.rs
@@ -403,7 +403,7 @@ pub enum ObligationCauseCode<'tcx> {
    QuestionMark,

    /// Well-formed checking. If a `WellFormedLoc` is provided,
-    /// then it will be used to eprform HIR-based wf checking
+    /// then it will be used to perform HIR-based wf checking
    /// after an error occurs, in order to generate a more precise error span.
    /// This is purely for diagnostic purposes - it is always
    /// correct to use `MiscObligation` instead, or to specify