Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add ConstKind::Expr #99798

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Nov 26, 2022
Merged

Add ConstKind::Expr #99798

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
f9750c1
Add empty ConstKind::Abstract
JulianKnodt Jul 27, 2022
5bb1a9f
Add expand_abstract_const
JulianKnodt Oct 25, 2022
8c729bd
handle nested obligations in `satisfied_from_param_env`
BoxyUwU Nov 14, 2022
d75cd5c
fmt
BoxyUwU Nov 15, 2022
0ae3c5c
handle assoc consts in fulfill `ConstEquate`
BoxyUwU Nov 15, 2022
fd271ff
also handle it in evaluate
BoxyUwU Nov 15, 2022
f59b91e
reduce duplicated argument logic
BoxyUwU Nov 15, 2022
4833ce8
fmt
BoxyUwU Nov 21, 2022
e58b932
add FIXME for things that I couldn't find ways to trigger
BoxyUwU Nov 22, 2022
5a496aa
dont skip const evalautable of non unevaluateds
BoxyUwU Nov 22, 2022
95e1a39
correctly intern `List<Const<'tcx>>`
BoxyUwU Nov 23, 2022
430f7d1
add FIXME's
BoxyUwU Nov 24, 2022
4085e94
`super_relate_consts` do not spurriously fail on assoc consts
BoxyUwU Nov 24, 2022
2ac5d91
Make `expand_abstract_consts` infallible
BoxyUwU Nov 24, 2022
677bdcb
only emit "enable gce" error if it would fix compile error
BoxyUwU Nov 24, 2022
d0209db
Fix mk_const_list
JulianKnodt Nov 25, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Fix mk_const_list
  • Loading branch information
@JulianKnodt
JulianKnodt committed Nov 25, 2022
commit d0209db15776a47ee0893385f218521b9a105cd8
2 changes: 1 addition & 1 deletion compiler/rustc_middle/src/ty/context.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2717,7 +2717,7 @@ impl<'tcx> TyCtxt<'tcx> {
}
}

pub fn mk_const_list<I: InternAs<[ty::Const<'tcx>], &'tcx List<ty::Const<'tcx>>>>(
pub fn mk_const_list<I: InternAs<ty::Const<'tcx>, &'tcx List<ty::Const<'tcx>>>>(
self,
iter: I,
) -> I::Output {
Expand Down