Track HirId instead of Span in ObligationCauseCode::SizedArgumentType

estebank · estebank · commit ca83a98e66a1 · 2024-01-03T18:59:42.000Z
This gets us more accurate suggestions.
diff --git a/tests/ui/crashes/ice-6251.stderr b/tests/ui/crashes/ice-6251.stderr
@@ -6,7 +6,7 @@ LL | fn bug<T>() -> impl Iterator<Item = [(); { |x: [u8]| x }]> {
    |
    = help: the trait `std::marker::Sized` is not implemented for `[u8]`
    = help: unsized fn params are gated as an unstable feature
-help: function arguments must have a statically known size, borrowed types always have a known size
+help: function arguments must have a statically known size, borrowed slices always have a known size
    |
 LL | fn bug<T>() -> impl Iterator<Item = [(); { |x: &[u8]| x }]> {
    |                                                +

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn bug<T>() -> impl Iterator<Item = [(); { \|x: [u8]\| x }]> {`
`6`	`6`	`\|`
`7`	`7`	= help: the trait `std::marker::Sized` is not implemented for `[u8]`
`8`	`8`	`= help: unsized fn params are gated as an unstable feature`
`9`		`-help: function arguments must have a statically known size, borrowed types always have a known size`
	`9`	`+help: function arguments must have a statically known size, borrowed slices always have a known size`
`10`	`10`	`\|`
`11`	`11`	`LL \| fn bug<T>() -> impl Iterator<Item = [(); { \|x: &[u8]\| x }]> {`
`12`	`12`	`\| +`