From 8341a9a8f770ad2cf4390446c5da1e590acfc14e Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Thu, 2 Jan 2020 19:57:25 +0100 Subject: [PATCH] Clean up E0131 error explanation --- src/librustc_error_codes/error_codes/E0131.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/librustc_error_codes/error_codes/E0131.md b/src/librustc_error_codes/error_codes/E0131.md index a70a02925b0..ed798d4f881 100644 --- a/src/librustc_error_codes/error_codes/E0131.md +++ b/src/librustc_error_codes/error_codes/E0131.md @@ -1,8 +1,11 @@ -It is not possible to define `main` with generic parameters. -When `main` is present, it must take no arguments and return `()`. +The `main` function was defined with generic parameters. + Erroneous code example: ```compile_fail,E0131 fn main() { // error: main function is not allowed to have generic parameters } ``` + +It is not possible to define the `main` function with generic parameters. +It must not take any arguments. -- GitLab