src/test/ui/bastion-of-the-turbofish.rs

   1 // check-pass
   2
   3 // Bastion of the Turbofish
   4 // ------------------------
   5 // Beware travellers, lest you venture into waters callous and unforgiving,
   6 // where hope must be abandoned, ere it is cruelly torn from you. For here
   7 // stands the bastion of the Turbofish: an impenetrable fortress holding
   8 // unshaking against those who would dare suggest the supererogation of the
   9 // Turbofish.
  10 //
  11 // Once I was young and foolish and had the impudence to imagine that I could
  12 // shake free from the coils by which that creature had us tightly bound. I
  13 // dared to suggest that there was a better way: a brighter future, in which
  14 // Rustaceans both new and old could be rid of that vile beast. But alas! In
  15 // my foolhardiness my ignorance was unveiled and my dreams were dashed
  16 // unforgivingly against the rock of syntactic ambiguity.
  17 //
  18 // This humble program, small and insignificant though it might seem,
  19 // demonstrates that to which we had previously cast a blind eye: an ambiguity
  20 // in permitting generic arguments to be provided without the consent of the
  21 // Great Turbofish. Should you be so naïve as to try to revolt against its
  22 // mighty clutches, here shall its wrath be indomitably displayed. This
  23 // program must pass for all eternity, fundamentally at odds with an impetuous
  24 // rebellion against the Turbofish.
  25 //
  26 // My heart aches in sorrow, for I know I am defeated. Let this be a warning
  27 // to all those who come after. Here stands the bastion of the Turbofish.
  28 //
  29 // RIP Anna Harren, Guardian Angel of the Hallowed Turbofish. <3
  30
  31 // See https://github.com/rust-lang/rust/pull/53562
  32 // and https://github.com/rust-lang/rfcs/pull/2527
  33 // and https://twitter.com/garblefart/status/1393236602856611843
  34 // for context.
  35
  36 fn main() {
  37     let (oh, woe, is, me) = ("the", "Turbofish", "remains", "undefeated");
  38     let _: (bool, bool) = (oh<woe, is>(me));
  39 }