message: move note to let it build
diff: @@ -15,7 +15,6 @@ use support::resolver::{
  use proptest::collection::vec;
  use proptest::prelude::*;
  -proptest! {
  /// NOTE: proptest is a form of fuzz testing. It generates random input and makes shore that
  /// certain universal truths are upheld. Therefore, it can pass when there is a problem,
  /// but if it fails then there really is something wrong. When testing something as
  @@ -23,6 +22,7 @@ proptest! {
  /// We have had a history of these tests only failing on PRs long after a bug is introduced.
  /// If you have one of these test fail please report it on #6258,
  /// and if you did not change the resolver then feel free to retry without concern.
  +proptest! {
  #![proptest_config(ProptestConfig {
  // Note that this is a little low in terms of cases we'd like to test,
  // but this number affects how long this function takes. It can be
  