cryspen / cryspen/hax

Unsupported Rust: auto traits (nightly)

Open
#930 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

keep-open marked-unimplemented unsupported-rust wontfix
Dominant language
Rust
Stars
479
Forks
70
Avg merge
2d 5h
Merged PRs (30d)
66

Description

We don't support auto traits, which are nightly.

#![feature(auto_traits)]
auto trait Foo {}

Open this code snippet in the playground

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the linked hax playground snippet and trace how hax handles Rust language features, especially the nightly auto trait declaration shown in the issue. Done means the example is accepted and auto traits are supported without the current unsupported-feature failure; the issue names no repository files or tests to run.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
28/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.