hax-diagnostics-0.1.0-pre.1
- hax-diagnostics 0.1.0-pre.1
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- Dependencies
- colored ^2 normal
  
  schemars ^0.8 normal
  
  serde ^1.0 normal
- Versions
- 22.45% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

Rust

hax_diagnostics0.1.0-pre.1

In hax_diagnostics::error

Function hax_diagnostics::error::no_where_predicate

pub fn no_where_predicate(session: &Lrc<Session>, span: Span)