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

fix: "Missing trait impl" error in trait dispatch #3440

Merged
merged 8 commits into from
Nov 9, 2023
Merged

Commits on Nov 3, 2023

  1. Add 'Assumed' impl concept

    jfecher committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    d106929 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7cb9a6a View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Get everything working

    jfecher committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    b57bc90 View commit details
    Browse the repository at this point in the history
  2. Remove unused type parameter

    jfecher committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    a7400b2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d5b526c View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Configuration menu
    Copy the full SHA
    e96abda View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Update compiler/noirc_frontend/src/node_interner.rs

    Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>
    kevaundray and vezenovm authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    fc08a9b View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Clarify comment

    jfecher committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    d8395aa View commit details
    Browse the repository at this point in the history