Closed
Description
Note to self (or whoever wants to help out); the following should be added as a test case in src/test/ui/type-alias-impl-trait
:
// check-pass
#![feature(type_alias_impl_trait)]
type A = impl Sized;
fn f1() -> A { 0 }
type B = impl ?Sized;
fn f2() -> &'static B { &[0] }
type C = impl ?Sized + 'static;
fn f3() -> &'static C { &[0] }
type D = impl ?Sized;
fn f4() -> &'static D { &1 }
This issue has been assigned to @samrat via this comment.
Metadata
Metadata
Assignees
Labels
Category: An issue proposing an enhancement or a PR with one.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.`#[feature(type_alias_impl_trait)]`Relevant to the compiler team, which will review and decide on the PR/issue.
Type
Projects
Status
Done