2 Commits

Author	SHA1	Message	Date
bjorn3	3b02a3309e	Pass TyCtxt instead of Queries to the after_analysis callbacks ... There is no other query that may need to be called at that point anyway.	2024-11-09 18:43:29 +00:00
Celina G. Val	a325bce3cd	Normalize the result of Fields::ty_with_args ... We were only instantiating before, which would leak an AliasTy. I added a test case that reproduce the issue seen here: https://github.com/model-checking/kani/issues/3113	2024-03-28 13:22:10 -07:00