Skip to content

Conversation

Lishin1215
Copy link
Contributor

fix #3556
The changes ensure that type lookup failures no longer trigger assertions and instead safely return implicit inference variables.
If further support for this pattern is needed, I'm happy to discuss possible approaches further!

gcc/rust/ChangeLog:

    * typecheck/rust-tyty-util.cc (TyVar::TyVar):
    (TyVar::get_tyty):
    (TyVar::clone):
    (TyVar::monomorphized_clone):

gcc/testsuite/ChangeLog:

    * rust/compile/issue-3556.rs: New test.

gcc/rust/ChangeLog:

	* typecheck/rust-tyty-util.cc (TyVar::TyVar):
	(TyVar::get_tyty):
	(TyVar::clone):
	(TyVar::monomorphized_clone):

gcc/testsuite/ChangeLog:

	* rust/compile/issue-3556.rs: New test.

Signed-off-by: lishin <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ICE in TyVar, at rust/typecheck/rust-tyty-util.cc:31

1 participant