Skip to content

Add placeholder types #55921

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 11 commits into from
Nov 25, 2018
Merged

Add placeholder types #55921

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
7401e3d
Distinguish between placeholder kinds
scalexm Nov 2, 2018
05995a8
Introduce `TyKind::Placeholder` variant
scalexm Nov 2, 2018
da3def3
Rename some occurences of `skol` to `placeholder`
scalexm Nov 2, 2018
91623ca
Add `HAS_TY_PLACEHOLDER` flag
scalexm Nov 2, 2018
cdb96be
Handle placeholder types in canonicalization
scalexm Nov 2, 2018
6bf17d2
Instantiate all bound vars universally
scalexm Nov 3, 2018
95861b1
Move `BoundTy` debruijn index to the `TyKind` enum variant
scalexm Nov 3, 2018
5b2baa8
Implement some instantiate / canonical routines
scalexm Nov 3, 2018
c0f98e8
Fix `ChalkInferenceContext::into_hh_goal`
scalexm Nov 5, 2018
4478dce
Fix NLL ui test
scalexm Nov 14, 2018
b8a30f0
Try to work around #53332 in `src/test/run-pass/rustc-rust-log.rs`
scalexm Nov 24, 2018
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
Try to work around #53332 in src/test/run-pass/rustc-rust-log.rs
  • Loading branch information
@scalexm
scalexm committed Nov 24, 2018
commit b8a30f04cdd129ab89b85d0eda11f1c65058767a
1 change: 1 addition & 0 deletions src/test/run-pass/rustc-rust-log.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@
//
// dont-check-compiler-stdout
// dont-check-compiler-stderr
// compile-flags: --error-format human

// rustc-env:RUST_LOG=debug

Expand Down