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

Skip to content

nll: correctly deal with bivariance #104411

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 4 commits into from
Nov 19, 2022
Merged

nll: correctly deal with bivariance #104411

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
45f441a
nll: correctly deal with bivariance
lcnr Nov 14, 2022
6aa611a
mv utility methods into separate module
lcnr Nov 15, 2022
f5f6761
add comment about opaque types
lcnr Nov 15, 2022
b2e6d08
use `ocx` type relation routines
lcnr Nov 15, 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
Next Next commit
add comment about opaque types
  • Loading branch information
@lcnr
lcnr committed Nov 15, 2022
commit f5f67618e25be01d8580e3d49033e0f39a3e7781
3 changes: 3 additions & 0 deletions compiler/rustc_const_eval/src/util/compare_types.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,9 @@ pub fn is_equal_up_to_subtyping<'tcx>(
}

/// Returns whether `src` is a subtype of `dest`, i.e. `src <: dest`.
///
/// This mostly ignores opaque types as it can be used in constraining contexts
/// while still computing the final underlying type.
pub fn is_subtype<'tcx>(
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
Expand Down