diff options
| author | Andrew Cann <shum@canndrew.org> | 2016-08-14 00:30:05 +0800 |
|---|---|---|
| committer | Andrew Cann <shum@canndrew.org> | 2016-08-14 00:30:05 +0800 |
| commit | 0add394ee3a2608efdd3634cdbb7ff98b4be3093 (patch) | |
| tree | d51cf03b607ae8157dba4d0975f1c952fe6c4edd | |
| parent | c3131f256d7126cfcf67067f5d9bc8f52c885416 (diff) | |
| download | rust-0add394ee3a2608efdd3634cdbb7ff98b4be3093.tar.gz rust-0add394ee3a2608efdd3634cdbb7ff98b4be3093.zip | |
Remove diagnostic E0166
| -rw-r--r-- | src/librustc_typeck/diagnostics.rs | 14 |
1 files changed, 0 insertions, 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: |