squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Remove misleading comments

Browse source 
They're not true anymore after #11375.
This commit is contained in:
Chayim Refael Friedman 2022-02-27 09:52:11 +02:00 committed by GitHub
parent b86baa7092
commit 744f0ea2e7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/hir_ty/src/infer/expr.rs
View file

@ -84,7 +84,6 @@ impl<'a> InferenceContext<'a> {
let ty = match &body[tgt_expr] {
Expr::Missing => self.err_ty(),
&Expr::If { condition, then_branch, else_branch } => {
// if let is desugared to match, so this is always simple if
self.infer_expr(
condition,
&Expectation::has_type(TyKind::Scalar(Scalar::Bool).intern(Interner)),
@ -184,7 +183,6 @@ impl<'a> InferenceContext<'a> {
coerce: CoerceMany::new(self.err_ty()),
label: label.map(|label| self.body[label].name.clone()),
});
// while let is desugared to a match loop, so this is always simple while
self.infer_expr(
*condition,
&Expectation::has_type(TyKind::Scalar(Scalar::Bool).intern(Interner)),