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.

Sign up for GitHub

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

Jump to bottom

RFC for an operator to take a raw reference #2582

Merged
merged 24 commits into from
Sep 15, 2019
Merged

RFC for an operator to take a raw reference #2582

merged 24 commits into from
Sep 15, 2019

Commits on Nov 1, 2018

  1. RFC for an operator to take a raw reference

    @RalfJung
    RalfJung committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    fd4b4cd View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2018

  1. there is some design space in terms of when and how we emit the new o… 

    …peration
    @RalfJung
    RalfJung committed Nov 4, 2018
    Configuration menu
    Copy the full SHA
    e250bed View commit details
    Browse the repository at this point in the history

  2. more examples by ubsan

    @RalfJung
    RalfJung committed Nov 4, 2018
    Configuration menu
    Copy the full SHA
    af78d46 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2018

  1. coercions to raw ptrs also trigger the new operation

    @RalfJung
    RalfJung committed Nov 5, 2018
    Configuration menu
    Copy the full SHA
    1a62d82 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2018

  1. make a lint part of this RFC, clarify when we use a raw ref

    @RalfJung
    RalfJung committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    879fa5c View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2018

  1. expand description: this new operation entirely replaces ref-to-raw c… 

    …asts
    @RalfJung
    RalfJung committed Dec 9, 2018
    Configuration menu
    Copy the full SHA
    0b496ee View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2018

  1. dereferencability

    @RalfJung
    RalfJung committed Dec 22, 2018
    Configuration menu
    Copy the full SHA
    0b9df7a View commit details
    Browse the repository at this point in the history

  2. more on dereferencability

    @RalfJung
    RalfJung committed Dec 22, 2018
    Configuration menu
    Copy the full SHA
    61c2e82 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2019

  1. RFC 2582: Fix typo (must not -> need not)

    @haslersn
    haslersn committed Jan 6, 2019
    Configuration menu
    Copy the full SHA
    5f7e9ea View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2019

  1. Merge pull request #1 from haslersn/raw-reference-operator 

    RFC 2582: Fix typo (must not -> need not)
    @RalfJung
    RalfJung authored Jan 7, 2019
    Configuration menu
    Copy the full SHA
    96ddb7c View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2019

  1. update summary and be more explicit

    @RalfJung
    RalfJung committed Jan 22, 2019
    Configuration menu
    Copy the full SHA
    35b7810 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2019

  1. make example more concrete

    @RalfJung
    RalfJung committed Jan 23, 2019
    Configuration menu
    Copy the full SHA
    9a853d5 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2019

  1. rename to raw_reference_mir_operator

    @RalfJung
    RalfJung committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    6cdac4d View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2019

  1. interaction with auto-deref

    @RalfJung
    RalfJung committed Jan 26, 2019
    Configuration menu
    Copy the full SHA
    4b60fb1 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2019

  1. propose we might have dedicated syntax

    @RalfJung
    RalfJung committed Feb 21, 2019
    Configuration menu
    Copy the full SHA
    315bb31 View commit details
    Browse the repository at this point in the history

  2. mention more drawbacks, unresolved questions and future possibilities

    @RalfJung
    RalfJung committed Feb 21, 2019
    Configuration menu
    Copy the full SHA
    cb2dd0f View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2019

  1. half-rewrite RFC to center around a proposed syntax for raw references

    @RalfJung
    RalfJung committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    1f1e690 View commit details
    Browse the repository at this point in the history

  2. clarify

    @RalfJung
    RalfJung committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    8eea0bf View commit details
    Browse the repository at this point in the history

  3. mention copying around

    @RalfJung
    RalfJung committed Mar 21, 2019
    Configuration menu
    Copy the full SHA
    24aad9e View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2019

  1. adjust lint level open question

    @RalfJung
    RalfJung committed Mar 30, 2019
    Configuration menu
    Copy the full SHA
    9889619 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. move SUGAR to its own subsection under future possibilities

    @RalfJung
    RalfJung committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    6a803f1 View commit details
    Browse the repository at this point in the history

  2. editing, and moving some other things to future possibilities

    @RalfJung
    RalfJung committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    92042f6 View commit details
    Browse the repository at this point in the history

  3. no more ref-to-ptr casts in MIR

    @RalfJung
    RalfJung committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    e95df5c View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2019

  1. RFC 2582

    @Centril
    Centril authored Sep 15, 2019
    Configuration menu
    Copy the full SHA
    9942dad View commit details
    Browse the repository at this point in the history