Special-case alias ty in try_from_lit

This commit is contained in:
Jaic1 2024-08-13 16:21:58 +08:00
parent 2c93fabd98
commit cd2b0309cc
2 changed files with 7 additions and 1 deletions

View File

@ -305,6 +305,10 @@ impl<'tcx> Const<'tcx> {
// mir.
match tcx.at(expr.span).lit_to_const(lit_input) {
Ok(c) => return Some(c),
Err(_) if lit_input.ty.has_aliases() => {
// allow the `ty` to be an alias type, though we cannot handle it here
return None;
}
Err(e) => {
tcx.dcx().span_delayed_bug(
expr.span,

View File

@ -1,6 +1,8 @@
//@ known-bug: #116308
//@ check-pass
#![feature(adt_const_params)]
// Regression test for #116308
pub trait Identity {
type Identity;
}