src/test/ui/reachable/expr_method.rs

   1 #![feature(never_type)]
   2 #![allow(unused_variables)]
   3 #![allow(unused_assignments)]
   4 #![allow(dead_code)]
   5 #![deny(unreachable_code)]
   6
   7 struct Foo;
   8
   9 impl Foo {
  10     fn foo(&self, x: !, y: usize) { }
  11     fn bar(&self, x: !) { }
  12 }
  13
  14 fn a() {
  15     // the `22` is unreachable:
  16     Foo.foo(return, 22); //~ ERROR unreachable
  17 }
  18
  19 fn b() {
  20     // the call is unreachable:
  21     Foo.bar(return); //~ ERROR unreachable
  22 }
  23
  24 fn main() { }