You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Generate our own impl block names for consistency between ghost/erased runs of rustc#709
Draft
Chris-Hawblitzel wants to merge 5 commits intomainverus-lang/verus:mainfrom impl_names_pr1verus-lang/verus:impl_names_pr1Copy head branch name to clipboard