Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make E0277 use short paths #116739

Merged
merged 2 commits into from
Oct 28, 2023
Merged

Make E0277 use short paths #116739

merged 2 commits into from
Oct 28, 2023

Commits on Oct 25, 2023

  1. make E0277 use short paths

    add note
    
    change wording
    
    short_ty_string on t
    Milo123459 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    991bf75 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Update type_err_ctxt_ext.rs

    Co-authored-by: Esteban Kuber <estebank@users.noreply.github.com>
    Milo123459 and estebank committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    a65d99d View commit details
    Browse the repository at this point in the history