nikomatsakis

nikomatsakis

nikomatsakis

nikomatsakis

"Test", "Clean", "BaseIncr", "CleanIncr", "PatchedIncr0",
cargo-Check, 4, 2, 0, 0, 
cargo-Debug, 1, 0, 0, 0, 
cargo-Opt, 0, 0, 0, 0, 
clap-rs-Check, 5, 2, 0, 0, 
clap-rs-Debug, 1, 0, 0, 0, 
clap-rs-Opt, 0, 0, 0, 0, 
coercions-Check, 2, 2, 0, 0, 
coercions-Debug, 1, 0, 0, 0, 
coercions-Opt, 1, 0, 0, 0, 

nikomatsakis

diff --git a/unsafe-analysis/src/implicit_unsafe/rta.rs b/unsafe-analysis/src/implicit_unsafe/rta.rs
index e62810547..cb534f430 100644
--- a/unsafe-analysis/src/implicit_unsafe/rta.rs
+++ b/unsafe-analysis/src/implicit_unsafe/rta.rs
@@ -573,28 +573,20 @@ impl<'a, 'b, 'tcx:'a+'b> Visitor<'tcx> for CallsVisitor<'a,'b,'tcx> {
                 let mut not_safe = false;
                 let mut unresolved_type = false;
                 let mut cco = None;
-                match func {
-                    Operand::Constant(constant) => {

nikomatsakis

Things to test (all tests are found in src/test/ui/traits/trait-alias unless otherwise noted):

• impl TraitAlias for u32 { .. } -- trait-alias-impl.rs
• Kinds of trait aliases:
  • trait SendSyncAlias = Send + Sync
  • trait WhereSendAlias = where Self: Send
  • trait SendEqAlias<T> = Send where T: PartialEq<Self>
  • with associated items specified (trait U32Iterator = Iterator<Item = u32>)
  • with a lifetime parameter (trait PartialEqRef<'a, T> = PartialEq<&'a T> or something like that)
• Test (ideally) each kind of where clause in each possible position:

nikomatsakis

warning: field is never used: `private`
 --> /home/nmatsakis/tmp/foo.rs:6:5
  |
6 |     private: std::num::NonZeroU32,
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: #[warn(dead_code)] on by default

warning: function is never used: `main`
  --> /home/nmatsakis/tmp/foo.rs:36:1

nikomatsakis

use std::cell::RefCell;
use std::collections::HashMap;
use std::rc::Rc;
use typed_arena::Arena;

struct Memory {
    root_alloc: Allocation,
    table: RefCell<HashMap<u32, Rc<Allocation>>>,
}

nikomatsakis

use std::marker::PhantomData;
use std::cmp::Ordering;
use std::ops::{Add, Mul};

pub type True = B1;
pub type False = B0;
pub type U0 = UTerm;
pub type U1 = UInt<UTerm, B1>;

pub trait NonZero {}

nikomatsakis

// MIR for `Z`
// source = MirSource { def_id: DefId(0/0:4 ~ issue_54224[317d]::Z[0]), promoted: None }
// pass_name = nll
// disambiguator = 0

| Free Region Mapping
| '_#0r    | Global   | ['_#0r, '_#1r]
| '_#1r    | Local    | ['_#1r]
|
| Inferred Region Values