File tree 1 file changed +0
-14
lines changed
1 file changed +0
-14
lines changed Original file line number Diff line number Diff line change @@ -1866,20 +1866,6 @@ fn bar(foo: Foo) -> u32 {
1866
1866
```
1867
1867
"## ,
1868
1868
1869
- E0166 : r##"
1870
- This error means that the compiler found a return expression in a function
1871
- marked as diverging. A function diverges if it has `!` in the place of the
1872
- return type in its signature. For example:
1873
-
1874
- ```compile_fail,E0166
1875
- fn foo() -> ! { return; } // error
1876
- ```
1877
-
1878
- For a function that diverges, every control path in the function must never
1879
- return, for example with a `loop` that never breaks or a call to another
1880
- diverging function (such as `panic!()`).
1881
- "## ,
1882
-
1883
1869
E0172 : r##"
1884
1870
This error means that an attempt was made to specify the type of a variable with
1885
1871
a combination of a concrete type and a trait. Consider the following example:
You can’t perform that action at this time.
0 commit comments