72d17bfebb
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.
20 lines
453 B
Rust
20 lines
453 B
Rust
fn server() -> impl {
|
|
//~^ ERROR at least one trait must be specified
|
|
//~^^ ERROR type annotations needed
|
|
().map2(|| "")
|
|
}
|
|
|
|
trait FilterBase2 {
|
|
fn map2<F>(self, f: F) -> Map2<F> {}
|
|
//~^ ERROR mismatched types
|
|
//~^^ ERROR the size for values of type `Self` cannot be known at compilation time
|
|
}
|
|
|
|
struct Map2<Segment2> {
|
|
_func: F,
|
|
//~^ ERROR cannot find type `F` in this scope
|
|
}
|
|
|
|
impl<F> FilterBase2 for F {}
|
|
|
|
fn main() {}
|