Commit f6ce4ac

committed

Anonymize binders in tail call sig

1 parent e1b9081 commit f6ce4acCopy full SHA for f6ce4ac

File tree

+18

-1

lines changed

+18

-1

lines changed

Lines changed: 5 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -60,9 +60,13 @@ impl<'tcx> TailCallCkVisitor<'_, 'tcx> {`
`60`	`60`	`let BodyTy::Fn(caller_sig) = self.thir.body_type else {`
`61`	`61`	`span_bug!(`
`62`	`62`	`call.span,`
`63`		- "`become` outside of functions should have been disallowed by hit_typeck"
	`63`	+ "`become` outside of functions should have been disallowed by hir_typeck"
`64`	`64`	`)`
`65`	`65`	`};`
	`66`	+ // While the `caller_sig` does have its regions erased, it does not have its
	`67`	+ // binders anonymized. We call `erase_regions` once again to anonymize any binders
	`68`	+ // within the signature, such as in function pointer or `dyn Trait` args.
	`69`	`+ let caller_sig = self.tcx.erase_regions(caller_sig);`
`66`	`70`
`67`	`71`	`let ExprKind::Scope { value, .. } = call.kind else {`
`68`	`72`	`span_bug!(call.span, "expected scope, found: {call:?}")`

Lines changed: 13 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,13 @@`
	`1`	`+// Regression test for <https://github.com/rust-lang/rust/issues/144826>.`
	`2`	`+//@ check-pass`
	`3`	`+`
	`4`	`+#![feature(explicit_tail_calls)]`
	`5`	`+#![expect(incomplete_features)]`
	`6`	`+`
	`7`	`+fn foo(x: fn(&i32)) {`
	`8`	`+ become bar(x);`
	`9`	`+}`
	`10`	`+`
	`11`	`+fn bar(_: fn(&i32)) {}`
	`12`	`+`
	`13`	`+fn main() {}`

Comments

(0)