mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Stabilize GATs

Browse Source
This commit is contained in:
Jack Huey 2022-05-04 10:22:19 -04:00
parent ddda7bbe5d
commit 748b031056
6 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/source/issue_4257.rs
View File

@ -1,6 +1,3 @@
#![feature(generic_associated_types)]
#![allow(incomplete_features)]
trait Trait<T> { trait Trait<T> {
type Type<'a> where T: 'a; type Type<'a> where T: 'a;
fn foo(x: &T) -> Self::Type<'_>; fn foo(x: &T) -> Self::Type<'_>;

1
tests/source/issue_4911.rs
View File

@ -1,4 +1,3 @@
#![feature(generic_associated_types)]
#![feature(min_type_alias_impl_trait)] #![feature(min_type_alias_impl_trait)]
impl SomeTrait for SomeType { impl SomeTrait for SomeType {

2
tests/source/issue_4943.rs
View File

@ -1,5 +1,3 @@
#![feature(generic_associated_types)]
impl SomeStruct { impl SomeStruct {
fn process<T>(v: T) -> <Self as GAT>::R<T> fn process<T>(v: T) -> <Self as GAT>::R<T>
where Self: GAT<R<T> = T> where Self: GAT<R<T> = T>

3
tests/target/issue_4257.rs
View File

@ -1,6 +1,3 @@
#![feature(generic_associated_types)]
#![allow(incomplete_features)]
trait Trait<T> { trait Trait<T> {
type Type<'a> type Type<'a>
where where

1
tests/target/issue_4911.rs
View File

@ -1,4 +1,3 @@
#![feature(generic_associated_types)]
#![feature(min_type_alias_impl_trait)] #![feature(min_type_alias_impl_trait)]
impl SomeTrait for SomeType { impl SomeTrait for SomeType {

2
tests/target/issue_4943.rs
View File

@ -1,5 +1,3 @@
#![feature(generic_associated_types)]
impl SomeStruct { impl SomeStruct {
fn process<T>(v: T) -> <Self as GAT>::R<T> fn process<T>(v: T) -> <Self as GAT>::R<T>
where where