identity 0.0.6

A stable Rust implementation of an identity (a.k.a., “equality witness”) type.
Documentation
Build #7234 2016-08-04T20:37:14.303115+00:00
# rustc version
rustc 1.12.0-nightly (54c0dcfd6 2016-07-28)
# docs.rs version
cratesfyi 0.2.0 (5dbd676 2016-07-30)

# build log
Updating registry `https://github.com/rust-lang/crates.io-index`
Downloading identity v0.0.6
Documenting identity v0.0.6
Running `rustdoc .cargo/registry/src/github.com-1ecc6299db9ec823/identity-0.0.6/src/lib.rs --crate-name identity -o /home/cratesfyi/identity-0.0.6/doc -L dependency=/home/cratesfyi/identity-0.0.6/debug -L dependency=/home/cratesfyi/identity-0.0.6/debug/deps`
.cargo/registry/src/github.com-1ecc6299db9ec823/identity-0.0.6/src/lift.rs:391:1: 391:63 warning: trait bounds are not (yet) enforced in type definitions [E0122]
.cargo/registry/src/github.com-1ecc6299db9ec823/identity-0.0.6/src/lift.rs:391 pub type TyPair<A: ?Sized, B: ?Sized> = Cons<A, Cons<B, Nil>>;
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.cargo/registry/src/github.com-1ecc6299db9ec823/identity-0.0.6/src/lift.rs:393:1: 393:85 warning: trait bounds are not (yet) enforced in type definitions [E0122]
.cargo/registry/src/github.com-1ecc6299db9ec823/identity-0.0.6/src/lift.rs:393 pub type TyTriple<A: ?Sized, B: ?Sized, C: ?Sized> = Cons<A, Cons<B, Cons<C, Nil>>>;
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~