diff options
| author | varkor <github@varkor.com> | 2020-01-21 23:07:07 +0000 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2020-02-22 00:28:18 +0000 |
| commit | 039045c49bec06f3a42aed90d3bc94520d92514e (patch) | |
| tree | 3091e29070119dfda744b3c9661f49fccd8a996b /src/librustc_error_codes | |
| parent | 750e673491114cd8454f1715ce1fda8dd02b7ac0 (diff) | |
Move generic arg / param validation to `create_substs_for_generic_args`
Diffstat (limited to 'src/librustc_error_codes')
| -rw-r--r-- | src/librustc_error_codes/error_codes.rs | 1 | ||||
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0747.md | 10 |
2 files changed, 11 insertions, 0 deletions
diff --git a/src/librustc_error_codes/error_codes.rs b/src/librustc_error_codes/error_codes.rs index ba43b29538d..91a7b6c8958 100644 --- a/src/librustc_error_codes/error_codes.rs +++ b/src/librustc_error_codes/error_codes.rs @@ -417,6 +417,7 @@ E0743: include_str!("./error_codes/E0743.md"), E0744: include_str!("./error_codes/E0744.md"), E0745: include_str!("./error_codes/E0745.md"), E0746: include_str!("./error_codes/E0746.md"), +E0747: include_str!("./error_codes/E0747.md"), ; // E0006, // merged with E0005 // E0008, // cannot bind by-move into a pattern guard diff --git a/src/librustc_error_codes/error_codes/E0747.md b/src/librustc_error_codes/error_codes/E0747.md new file mode 100644 index 00000000000..45b2dfd9e2b --- /dev/null +++ b/src/librustc_error_codes/error_codes/E0747.md @@ -0,0 +1,10 @@ +Generic arguments must be provided in the same order as the corresponding generic +parameters are declared. + +Erroneous code example: + +```compile_fail,E0747 +struct S<'a, T>(&'a T); + +type X = S<(), 'static>; // error: the type argument is provided before the lifetime argument +``` |