mirror of
				https://github.com/rust-lang/rust.git
				synced 2025-11-03 22:49:17 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			36 lines
		
	
	
		
			1.0 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			36 lines
		
	
	
		
			1.0 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
error[E0277]: the trait bound `T: Bar` is not satisfied
 | 
						|
  --> $DIR/trait-where-clause.rs:14:5
 | 
						|
   |
 | 
						|
LL |     T::b();
 | 
						|
   |     ^^^^ the trait `Bar` is not implemented for `T`
 | 
						|
   |
 | 
						|
note: required by a bound in `Foo::b`
 | 
						|
  --> $DIR/trait-where-clause.rs:8:24
 | 
						|
   |
 | 
						|
LL |     fn b() where Self: ~const Bar;
 | 
						|
   |                        ^^^^^^^^^^ required by this bound in `Foo::b`
 | 
						|
help: consider further restricting this bound
 | 
						|
   |
 | 
						|
LL | fn test1<T: Foo + Bar>() {
 | 
						|
   |                 +++++
 | 
						|
 | 
						|
error[E0277]: the trait bound `T: Bar` is not satisfied
 | 
						|
  --> $DIR/trait-where-clause.rs:16:12
 | 
						|
   |
 | 
						|
LL |     T::c::<T>();
 | 
						|
   |            ^ the trait `Bar` is not implemented for `T`
 | 
						|
   |
 | 
						|
note: required by a bound in `Foo::c`
 | 
						|
  --> $DIR/trait-where-clause.rs:9:13
 | 
						|
   |
 | 
						|
LL |     fn c<T: ~const Bar>();
 | 
						|
   |             ^^^^^^^^^^ required by this bound in `Foo::c`
 | 
						|
help: consider further restricting this bound
 | 
						|
   |
 | 
						|
LL | fn test1<T: Foo + Bar>() {
 | 
						|
   |                 +++++
 | 
						|
 | 
						|
error: aborting due to 2 previous errors
 | 
						|
 | 
						|
For more information about this error, try `rustc --explain E0277`.
 |