mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #119215 - mu001999:fix/119209, r=Nilstrieb

Browse source 
Emits error if has bound regions

Fixes #119209
This commit is contained in:
Matthias Krüger 2023-12-22 19:01:28 +01:00 • committed by GitHub
commit b24e8784de
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_hir_analysis/src/check/entry.rs
View file

@ -124,7 +124,10 @@ fn check_main_fn_ty(tcx: TyCtxt<'_>, main_def_id: DefId) {
if let Some(term_did) = tcx.lang_items().termination() {
let return_ty = main_fnsig.output();
let return_ty_span = main_fn_return_type_span(tcx, main_def_id).unwrap_or(main_span);
let return_ty = return_ty.skip_binder();
let Some(return_ty) = return_ty.no_bound_vars() else {
tcx.sess.emit_err(errors::MainFunctionReturnTypeGeneric { span: return_ty_span });
return;
};
let infcx = tcx.infer_ctxt().build();
let cause = traits::ObligationCause::new(
return_ty_span,

3
tests/ui/entry-point/return-ty-has-bound-vars.rs Normal file
View file

@ -0,0 +1,3 @@
// issue-119209
fn main<'a>(_: &'a i32) -> &'a () { &() } //~ERROR `main` function return type is not allowed to have generic parameters

9
tests/ui/entry-point/return-ty-has-bound-vars.stderr Normal file
View file

@ -0,0 +1,9 @@
error[E0131]: `main` function return type is not allowed to have generic parameters
--> $DIR/return-ty-has-bound-vars.rs:3:28
|
LL | fn main<'a>(_: &'a i32) -> &'a () { &() }
| ^^^^^^
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0131`.