mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update trait check

Browse Source
This commit is contained in:
mejrs 2022-11-19 13:31:51 +01:00
parent 4ced370f7c
commit b209ff27f3
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/rustc_lint/src/builtin.rs
View File

@ -769,10 +769,13 @@ fn check_item(&mut self, cx: &LateContext<'_>, item: &hir::Item<'_>) {
// We shouldn't recommend implementing `Copy` on stateful things,
// such as iterators.
if let Some(iter_trait) = cx.tcx.get_diagnostic_item(sym::Iterator) {
if cx.tcx.infer_ctxt().enter(|infer_ctxt| {
infer_ctxt.type_implements_trait(iter_trait, ty, List::empty(), param_env)
== EvaluationResult::EvaluatedToOk
}) {
if cx.tcx.infer_ctxt().build().type_implements_trait(
iter_trait,
ty,
List::empty(),
param_env,
) == EvaluationResult::EvaluatedToOk
{
return;
}
}