Skip to content
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

implied bounds: explicitly state which types are assumed to be wf #100676

Merged
merged 4 commits into from
Aug 22, 2022
Merged

implied bounds: explicitly state which types are assumed to be wf #100676

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b7a8496
add List::as_slice
lcnr Aug 17, 2022
4fe666e
implied_bounds: clarify our assumptions
lcnr Aug 17, 2022
f57e6fa
`compare_predicate_entailment` move comment
lcnr Aug 17, 2022
736288f
dedup some code
lcnr Aug 17, 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
Next Next commit
add List::as_slice
  • Loading branch information
@lcnr
lcnr committed Aug 17, 2022
commit b7a8496a073c7ee1a8b4bb9dc4ee4efed80e3522
4 changes: 4 additions & 0 deletions compiler/rustc_middle/src/ty/list.rs
View file
Original file line number Diff line number Diff line change
@@ -65,6 +65,10 @@ impl<T> List<T> {
pub fn len(&self) -> usize {
self.len
}

pub fn as_slice(&self) -> &[T] {
self
}
}

impl<T: Copy> List<T> {