Confirm that `#![feature(trivial_bounds)]` doesn't permit bypassing derive-emitted trait bounds

In our UI tests for the following impl:

https://github.com/google/zerocopy/blob/9cf8087b59aafa0640240c29b6bfbb5b0fa730ca/zerocopy-derive/tests/ui-nightly/late_compile_pass.rs#L23-L26

...we get this error:

https://github.com/google/zerocopy/blob/9cf8087b59aafa0640240c29b6bfbb5b0fa730ca/zerocopy-derive/tests/ui-nightly/late_compile_pass.stderr#L1-L18

...which contains this suggestion:

https://github.com/google/zerocopy/blob/9cf8087b59aafa0640240c29b6bfbb5b0fa730ca/zerocopy-derive/tests/ui-nightly/late_compile_pass.stderr#L18

We should confirm that the `trivial_bounds` feature would not allow to compile code which we intend not to compile.

	error[E0277]: the trait bound `NotZerocopy: FromZeroes` is not satisfied
	--> tests/ui-nightly/late_compile_pass.rs:23:10
	\|
	23 \| #[derive(FromZeroes)]
	\| ^^^^^^^^^^ the trait `FromZeroes` is not implemented for `NotZerocopy`
	\|
	= help: the following other types implement trait `FromZeroes`:
	()
	AU16
	F32<O>
	F64<O>
	FromZeroes1
	I128<O>
	I16<O>
	I32<O>
	and $N others
	= help: see issue #48214
	= help: add `#![feature(trivial_bounds)]` to the crate attributes to enable

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Confirm that `#![feature(trivial_bounds)]` doesn't permit bypassing derive-emitted trait bounds #500

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

	#[derive(FromZeroes)]
	struct FromZeroes1 {
	value: NotZerocopy,
	}

Confirm that #![feature(trivial_bounds)] doesn't permit bypassing derive-emitted trait bounds #500

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Confirm that `#![feature(trivial_bounds)]` doesn't permit bypassing derive-emitted trait bounds #500