Skip to content

Error when trait bound not satisfied for function argument should point at argument #41781

Closed
@jdm

Description

@jdm
Contributor
trait T {}

fn function<U: T>(u: U) {}

fn main() {
    function(0u32);
}

This yields:

error[E0277]: the trait bound `u32: T` is not satisfied
 --> <anon>:6:5
  |
6 |     function(0u32);
  |     ^^^^^^^^ the trait `T` is not implemented for `u32`
  |
  = note: required by `function`

error: aborting due to previous error

When there are multiple arguments, this is much less helpful than if the span pointed at the argument in question.

Activity

added
A-diagnosticsArea: Messages for errors, warnings, and lints
T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
on May 6, 2017
estebank

estebank commented on Mar 15, 2018

@estebank
Contributor

Current output:

error[E0277]: the trait bound `u32: T` is not satisfied
 --> src/main.rs:6:5
  |
6 |     function(0u32);
  |     ^^^^^^^^ the trait `T` is not implemented for `u32`
  |
note: required by `function`
 --> src/main.rs:3:1
  |
3 | fn function<U: T>(u: U) {}
  | ^^^^^^^^^^^^^^^^^^^^^^^
added a commit that references this issue on Sep 20, 2019

Rollup merge of rust-lang#64498 - estebank:point-at-arg, r=Centril

c54aa52
added a commit that references this issue on Sep 20, 2019

Auto merge of #64498 - estebank:point-at-arg, r=Centril

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticsArea: Messages for errors, warnings, and lintsC-enhancementCategory: An issue proposing an enhancement or a PR with one.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.WG-diagnosticsWorking group: Diagnostics

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      Participants

      @jdm@estebank@Mark-Simulacrum

      Issue actions

        Error when trait bound not satisfied for function argument should point at argument · Issue #41781 · rust-lang/rust