csmoe f5f97b37a7 update tests		2018-07-07 11:57:04 +08:00
..
lower_env1.rs	first draft of program_clauses_for_env	2018-04-23 13:28:14 -04:00
lower_env1.stderr	update tests	2018-07-07 11:57:04 +08:00
lower_impl.rs	in unit tests, use note to dump multiple program clauses	2018-04-23 13:28:14 -04:00
lower_impl.stderr	in unit tests, use note to dump multiple program clauses	2018-04-23 13:28:14 -04:00
lower_struct.rs	Add tests for WellFormed-Type and FromEnv-Type rules	2018-06-07 14:45:09 +02:00
lower_struct.stderr	Add tests for WellFormed-Type and FromEnv-Type rules	2018-06-07 14:45:09 +02:00
lower_trait.rs	in unit tests, use note to dump multiple program clauses	2018-04-23 13:28:14 -04:00
lower_trait.stderr	merge wellformed(wc)s	2018-07-05 18:49:02 +08:00
lower_trait_higher_rank.rs	in unit tests, use note to dump multiple program clauses	2018-04-23 13:28:14 -04:00
lower_trait_higher_rank.stderr	update tests	2018-07-07 11:57:04 +08:00
lower_trait_where_clause.rs	in unit tests, use note to dump multiple program clauses	2018-04-23 13:28:14 -04:00
lower_trait_where_clause.stderr	merge wellformed(wc)s	2018-07-05 18:49:02 +08:00