@@ -384,10 +384,8 @@ trait Trait2<T>: Trait1 {
384
384
fn foo<'lt, T: Trait2<$0>, const CONST_PARAM: usize>(_: T) {}
385
385
"# ,
386
386
expect ! [ [ r#"
387
- ct CONST
388
- cp CONST_PARAM
389
387
en Enum
390
- ma makro!(…) macro_rules! makro
388
+ ma makro!(…) macro_rules! makro
391
389
md module
392
390
st Record
393
391
st Tuple
@@ -437,7 +435,6 @@ trait Tr<T> {
437
435
impl Tr<$0
438
436
"# ,
439
437
expect ! [ [ r#"
440
- ct CONST
441
438
en Enum
442
439
ma makro!(…) macro_rules! makro
443
440
md module
@@ -485,7 +482,6 @@ trait MyTrait<T, U> {
485
482
fn f(t: impl MyTrait<u$0
486
483
"# ,
487
484
expect ! [ [ r#"
488
- ct CONST
489
485
en Enum
490
486
ma makro!(…) macro_rules! makro
491
487
md module
@@ -511,7 +507,6 @@ trait MyTrait<T, U> {
511
507
fn f(t: impl MyTrait<u8, u$0
512
508
"# ,
513
509
expect ! [ [ r#"
514
- ct CONST
515
510
en Enum
516
511
ma makro!(…) macro_rules! makro
517
512
md module
@@ -555,7 +550,6 @@ trait MyTrait<T, U = u8> {
555
550
fn f(t: impl MyTrait<u$0
556
551
"# ,
557
552
expect ! [ [ r#"
558
- ct CONST
559
553
en Enum
560
554
ma makro!(…) macro_rules! makro
561
555
md module
@@ -581,7 +575,6 @@ trait MyTrait<T, U = u8> {
581
575
fn f(t: impl MyTrait<u8, u$0
582
576
"# ,
583
577
expect ! [ [ r#"
584
- ct CONST
585
578
en Enum
586
579
ma makro!(…) macro_rules! makro
587
580
md module
@@ -822,7 +815,7 @@ fn foo<T: Bar<Baz<(), $0> = ()>>() {}
822
815
const X: usize = 0;
823
816
struct Foo<T, const N: usize>(T);
824
817
fn main() {
825
- let _: Foo::<_, $0> = todo!( );
818
+ let _: Foo::<_, $0> = Foo(() );
826
819
}
827
820
"# ,
828
821
// Enum variant params
@@ -831,7 +824,7 @@ const X: usize = 0;
831
824
struct Foo<T, const N: usize>(T);
832
825
type Bar<const X: usize, U> = Foo<U, X>;
833
826
fn main() {
834
- let _: Bar::<X$0, _> = todo!( );
827
+ let _: Bar::<X$0, _> = Bar(() );
835
828
}
836
829
"# ,
837
830
r#"
0 commit comments