add test for direct-const-arg

[reddevilmidzy]

close: #159558

The generic argument count was unrelated to the ICE, so I added a const argument.

cc: @khyperia

[rustbot]

r? @chenyukang

rustbot has assigned @chenyukang.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: compiler
• compiler expanded to 75 candidates
• Random selection from 19 candidates

[khyperia]

thanks for adding this test! but it's pretty much an exact duplicate of tests/ui/const-generics/mgca/direct_const_arg-infer-as-type.rs. #159558 should be closed referencing that test.

that file was added in #160216 which states:

add test for direct_const_arg!(_) inferring to a type - this test should have been added in #159058 which added this behavior (well, changed the behavior from an ICE to inferring to a type)

that linked pull is the commit linked in #159558 that fixed that issue.

#160984 is also very relevant here, although not directly related to this very specific ICE!

[reddevilmidzy]

thanks for adding this test! but it's pretty much an exact duplicate of tests/ui/const-generics/mgca/direct_const_arg-infer-as-type.rs. #159558 should be closed referencing that test.

that file was added in #160216 which states:

add test for direct_const_arg!(_) inferring to a type - this test should have been added in #159058 which added this behavior (well, changed the behavior from an ICE to inferring to a type)

that linked pull is the commit linked in #159558 that fixed that issue.

#160984 is also very relevant here, although not directly related to this very specific ICE!

Ah, you're right! I only looked at #159058, so I missed the test that was added in a later PR. I'll also take a look at the other PRs you referenced. Thanks!