pyo3/tests/ui/invalid_pymodule_trait.rs

use pyo3::prelude::*;

#[pymodule]
mod module {
    #[pymodule_export]
    trait Foo {}
}

fn main() {}