ty::Error does not match other types for region constraints
This commit is contained in:
parent
86c6ebee8f
commit
fc7fc0fae5
3 changed files with 36 additions and 1 deletions
|
@ -174,7 +174,14 @@ impl<'tcx> TypeRelation<'tcx> for Match<'tcx> {
|
|||
|
||||
#[instrument(skip(self), level = "debug")]
|
||||
fn tys(&mut self, pattern: Ty<'tcx>, value: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>> {
|
||||
if pattern == value { Ok(pattern) } else { relate::super_relate_tys(self, pattern, value) }
|
||||
if let ty::Error(_) = pattern.kind() {
|
||||
// Unlike normal `TypeRelation` rules, `ty::Error` does not equal any type.
|
||||
self.no_match()
|
||||
} else if pattern == value {
|
||||
Ok(pattern)
|
||||
} else {
|
||||
relate::super_relate_tys(self, pattern, value)
|
||||
}
|
||||
}
|
||||
|
||||
#[instrument(skip(self), level = "debug")]
|
||||
|
|
16
src/test/ui/regions/outlives-with-missing.rs
Normal file
16
src/test/ui/regions/outlives-with-missing.rs
Normal file
|
@ -0,0 +1,16 @@
|
|||
trait HandlerFamily {
|
||||
type Target;
|
||||
}
|
||||
|
||||
struct HandlerWrapper<H: HandlerFamily>(H);
|
||||
|
||||
impl<H: HandlerFamily> HandlerWrapper<H> {
|
||||
pub fn set_handler(&self, handler: &H::Target)
|
||||
where
|
||||
T: Send + Sync + 'static,
|
||||
//~^ ERROR cannot find type `T` in this scope
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {}
|
12
src/test/ui/regions/outlives-with-missing.stderr
Normal file
12
src/test/ui/regions/outlives-with-missing.stderr
Normal file
|
@ -0,0 +1,12 @@
|
|||
error[E0412]: cannot find type `T` in this scope
|
||||
--> $DIR/outlives-with-missing.rs:10:9
|
||||
|
|
||||
LL | impl<H: HandlerFamily> HandlerWrapper<H> {
|
||||
| - similarly named type parameter `H` defined here
|
||||
...
|
||||
LL | T: Send + Sync + 'static,
|
||||
| ^ help: a type parameter with a similar name exists: `H`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0412`.
|
Loading…
Add table
Add a link
Reference in a new issue