src/test/ui/recursion/issue-95134.rs

   1 // build-fail
   2 // compile-flags: -Copt-level=0
   3 //~^^ ERROR overflow evaluating the requirement
   4
   5 pub fn encode_num<Writer: ExampleWriter>(n: u32, mut writer: Writer) -> Result<(), Writer::Error> {
   6     if n > 15 {
   7         encode_num(n / 16, &mut writer)?;
   8     }
   9     Ok(())
  10 }
  11
  12 pub trait ExampleWriter {
  13     type Error;
  14 }
  15
  16 impl<'a, T: ExampleWriter> ExampleWriter for &'a mut T {
  17     type Error = T::Error;
  18 }
  19
  20 struct EmptyWriter;
  21
  22 impl ExampleWriter for EmptyWriter {
  23     type Error = ();
  24 }
  25
  26 fn main() {
  27     encode_num(69, &mut EmptyWriter).unwrap();
  28 }