The ultimate safety

Question

The ultimate safety

turalcar opened this issue a year ago · 6 comments

There is a way to make this truly safe (I won't spoil this for you)

fn translate<'a, T>(_: &'static &'a (), x: &'a T) -> &'static T {
    x
}

trait Witness<'a> {
    fn extend<T>(self, x: &'a T) -> &'static T;
}

impl<'a> Witness<'a> for &'static () {
    fn extend<T>(self, x: &'a T) -> &'static T {
        translate(&self, x)
    }
}

TgZ39 commented 10 months ago

🚀

Answer 1 · 2024-02-29T16:34:56.000Z

impl 'fn static::<'abcdefghijklmnopqrstuvwxyz>{ {{}{ trait for &T!fn&' ( ), ->!'''static TP L{ s>!<p'Witness<for &aa'a'a'b'a'L>{
    x
}

rust as its finest

Answer 2 · 2024-02-29T20:57:24.000Z

impl 'fn static::<'abcdefghijklmnopqrstuvwxyz>{ {{}{ trait for &T!fn&' ( ), ->!'''static TP L{ s>!<p'Witness<for &aa'a'a'b'a'L>{
    x
}

rust as its finest

Is that valid syntax?

Answer 3 · 2024-02-29T21:32:43.000Z

impl 'fn static::<'abcdefghijklmnopqrstuvwxyz>{ {{}{ trait for &T!fn&' ( ), ->!'''static TP L{ s>!<p'Witness<for &aa'a'a'b'a'L>{
    x
}

rust as its finest

Is that valid syntax?

if ur srs : no, its satire, highlighting rusts truly 'beautiful' syntax
if not : yes ofc it is

Answer 4 · 2024-03-03T19:58:52.000Z

ahh yes my favorite lifetime specifier: abcdefghijklmnopqrstuvwxyz

Answer 5 · 2024-03-03T22:27:54.000Z

ahh yes my favorite lifetime specifier: abcdefghijklmnopqrstuvwxyz

yeah it means 'until rust language is good, be alive' ( dead lifetime )