Search results

Specification language discussion

spec-language

Status: Open.

#14 In rust-lang-nursery/wg-verification;

· avadacatavra opened on May 8, 2018

Extract lifetimes from compiler

blocked

Status: Open.

#13 In rust-lang-nursery/wg-verification;

· avadacatavra opened on May 8, 2018

Extract trait impls from compiler

Status: Open.

#12 In rust-lang-nursery/wg-verification;

· avadacatavra opened on May 8, 2018

Extract type information from compiler

Status: Open.

#11 In rust-lang-nursery/wg-verification;

· avadacatavra opened on May 8, 2018

Compiler consumers metabug

Status: Open.

#10 In rust-lang-nursery/wg-verification;

· avadacatavra opened on May 8, 2018

Logo?

Status: Open.

#9 In rust-lang-nursery/wg-verification;

· skade opened on Apr 18, 2018