From 0add394ee3a2608efdd3634cdbb7ff98b4be3093 Mon Sep 17 00:00:00 2001 From: Andrew Cann Date: Sun, 14 Aug 2016 00:30:05 +0800 Subject: [PATCH] Remove diagnostic E0166 --- src/librustc_typeck/diagnostics.rs | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/src/librustc_typeck/diagnostics.rs b/src/librustc_typeck/diagnostics.rs index ac40708e25c..337b87ce994 100644 --- a/src/librustc_typeck/diagnostics.rs +++ b/src/librustc_typeck/diagnostics.rs @@ -1866,20 +1866,6 @@ fn bar(foo: Foo) -> u32 { ``` "##, -E0166: r##" -This error means that the compiler found a return expression in a function -marked as diverging. A function diverges if it has `!` in the place of the -return type in its signature. For example: - -```compile_fail,E0166 -fn foo() -> ! { return; } // error -``` - -For a function that diverges, every control path in the function must never -return, for example with a `loop` that never breaks or a call to another -diverging function (such as `panic!()`). -"##, - E0172: r##" This error means that an attempt was made to specify the type of a variable with a combination of a concrete type and a trait. Consider the following example: -- GitLab