#macro #no-alloc

nightly macro no-std negative-impl

Negative trait implementations on stable Rust

6 releases

0.1.5 Apr 13, 2024
0.1.4 Jun 29, 2023
0.1.3 Mar 26, 2023
0.1.2 Feb 5, 2022
0.0.0 Nov 17, 2020

#84 in #macros

Download history 38/week @ 2024-02-27 31/week @ 2024-03-05 26/week @ 2024-03-12 6/week @ 2024-03-19 4/week @ 2024-03-26 27/week @ 2024-04-02 178/week @ 2024-04-09 31/week @ 2024-04-16 106/week @ 2024-04-23 66/week @ 2024-04-30 505/week @ 2024-05-07 385/week @ 2024-05-14 109/week @ 2024-05-21 70/week @ 2024-05-28 104/week @ 2024-06-04 76/week @ 2024-06-11

362 downloads per month
Used in rplc

Apache-2.0 OR MIT

18KB
131 lines

negative-impl

crates.io docs.rs license rust version github actions

Negative trait implementations on stable Rust.

This crate emulates the unstable negative_impls feature by generating a trait implementation with a condition that will never be true.

Usage

Add this to your Cargo.toml:

[dependencies]
negative-impl = "0.1"

Compiler support: requires rustc 1.56+

Examples

use negative_impl::negative_impl;

pub struct Type {}

#[negative_impl]
impl !Send for Type {}
#[negative_impl]
impl !Sync for Type {}

Supported traits

Currently this crate only supports auto traits.

Limitations

Conflicting implementations

The following code cannot compile due to impl<T: Send> Trait for T and impl Trait for Type conflict.

use negative_impl::negative_impl;

pub struct Type {}

#[negative_impl]
impl !Send for Type {}

trait Trait {}

impl<T: Send> Trait for T {}
impl Trait for Type {}
error[E0119]: conflicting implementations of trait `Trait` for type `Type`:
  --> src/lib.rs:60:1
   |
14 | impl<T: Send> Trait for T {}
   | ------------------------- first implementation here
15 | impl Trait for Type {}
   | ^^^^^^^^^^^^^^^^^^^ conflicting implementation for `Type`

The above code can be compiled using the unstable negative_impls feature.

#![feature(negative_impls)]

pub struct Type {}

impl !Send for Type {}

trait Trait {}

impl<T: Send> Trait for T {}
impl Trait for Type {}

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~315–770KB
~18K SLoC