6 Commits

Author	SHA1	Message	Date
David Wood	72d17bfebb	re-use sized fast path ... There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this.	2025-04-09 10:42:26 +00:00
Michael Goulet	938ed369ad	Gate the type length limit check behind a nightly flag	2024-07-12 21:16:09 -04:00
Michael Goulet	b1059ccda2	Instance::resolve -> Instance::try_resolve, and other nits	2024-07-02 17:28:03 -04:00
Michael Goulet	0f7f3f4045	Re-implement a type-size based limit	2024-07-02 15:48:48 -04:00
许杰友 Jieyou Xu (Joe)	ec2cc761bc	[AUTO-GENERATED] Migrate ui tests from // to //@ directives	2024-02-16 20:02:50 +00:00
Michael Goulet	01c974ff98	Do not report overflow errors on ConstArgHasType goals	2024-02-14 18:02:55 +00:00