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

Fixes unexpected trait dummy method error. #5234

Merged
merged 5 commits into from
Oct 30, 2023

Commits on Oct 27, 2023

  1. Fixes unexpected trait dummy method error.

    The unexpected trait dummy method error is now replaced by:
    `Trait "MyTrait" is not implemented for type "u64".`
    This is the intended behavior and now throws the equivalent of rust error.
    
    This commit also adds some improvements to the `DebugWithEngines`.
    
    Closes #5201
    esdrubal committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    3bfba2b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4b0491e View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Configuration menu
    Copy the full SHA
    5e83b0d View commit details
    Browse the repository at this point in the history
  2. Fixes typos.

    esdrubal committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    4c5c26b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1674d88 View commit details
    Browse the repository at this point in the history