Его напрягает, что структурка стала Copy, потому что туда подставлен Copy тип, он написал код какой-то код (не дженерик), а когда он туда подставил !Copy - код развалился. Он винит что компилятор должен был ему сказать, чтобы он не делал impl Copy для структурки, тогда бы его код после изменения типа не развалился. А код развалился - ногострел значит.
Отлично, любой impl<> с доп баундами к тем, которые на структуре, идут лесом?
Понятно, почему его не устраивает эта ситуация. Не понятно что он предлагает делать в общем случае, когда например нужно чтобы подобный код разваливался.
Верно, ты наконец-то меня услышал
Доп ограничения не мешают более общим
Я тебя с самого начала услышал
Хмм, а ломал комедию зачем?
мешают юзать более общие
Проверять код еще и в области трейтов, а не на инвариантах
impl Container<i32> { fn to_i32(&self) -> i32 { self.clon } }
С точки зрения этих же трейтов, это не верно
такое запрещать?
Я пишу код в общем виде
impl<T: std::fmt::Debug> Container<T> { fn print(&self) { println!("{:?}", self.clon) } }
Обсуждают сегодня