« first day (1995 days earlier)      last day (1487 days later) » 

11:26 AM
I like big GATs and I cannot lie.
 
11:43 AM
@E_net4theWFHjanitor GAT outa' here!
 
Haters GATa hate
 
12:00 PM
@E_net4theWFHjanitor nah, I'm a massive supporter of the cause, but when do we ever GAT there?
 
 
3 hours later…
2:34 PM
Feedback request — OP disagrees with a duplicate: stackoverflow.com/q/60951064/155423
 
OP is stupid
 
That's the example of the type of unneeded tone we talk about.
Someone can be wrong without being stupid
 
1. duplicate is about answer not duplicate
2. he just object because he create an answer
3. doc.rust-lang.org/src/std/io/mod.rs.html#360 it's vector who limit to 32 item at the time and he didn't prove it was not good unstead he assume it's bad
 
2:58 PM
@Stargateur Be that as it may, Stack Overflow isn't an appropriate place for playground insults. Please try to disagree somewhat more civilly.
 
@trentcl I'm on chat no ?
I say it lightly I'm often stupid too
 
Yes, I've noticed it's one of your favorite words.
I usually try to avoid engaging in meta discussion so I don't want to get in a drawn out one now.
But the best thing to do when someone calls you on being rude is usually not to argue that you were right to be rude, but just to accept the criticism and move on.
I don't say this just directed at you. I've made this kind of mistake before, even in this very chat
 
@trentcl haha no way
I accept my mistake I don't accept mistake I didn't do
that the thing that angry me the most
be accused on something I didn't do
 
@mcarton stackoverflow.com/a/40053649/155423 Is there some way we can add some more text to be ultra explicit and say "no references at all" or "any references must have the static lifetime". Your sentence is really nice, but it's also tightly packed.
I started to edit it, but couldn't think of a better phrasing / addition
@Stargateur this isn't the OP of the post making that point.
 
@Shepmaster oh indeed
 
3:24 PM
@Shepmaster BTW
> Backtrace functionality is currently enabled. Please review the feature flags to disable it. docs.rs/snafu/0.6.3/snafu/struct.Backtrace.html
 
@Shepmaster ah
Quite confusing
If feature appear in doc it's enable anyway no ?
 
@Stargateur not quite, in this case.
snafu::Backtrace always exists
but sometimes it's literally just pub struct Backtrace(());
depending on feature flags, its one of:
struct Backtrace(()); // default
struct Backtrace(backtrace::Backtrace); // feature backtraces
type Backtrace = backtrace::Backtrace; // feature backtraces-impl-backtrace-crate
type Backtrace = std::backtrace::Backtrace; // feature unstable-backtraces-impl-std
 
3:42 PM
@Shepmaster "Having U: 'a means that any reference contained in U must have the 'alifetime (or any longer lifetime). In particular for 'static this means that all references must have the 'static lifetime because there are no lifetimes longer than 'static."?
 
I notice dark mode doesn't appear to work on mobile either
 
@mcarton No need to apply the edits quite yet, but...
I like that, but it doesn't highlight the "or no references at all"
which is a key thing that I think people miss
and your original text does cover that
I'd love to say something like i32 : 'static (no references, thus all references live >= 'static), &'static Foo : 'static (all present lifetimes >= 'static), &'a Bar !: 'static
Something to hammer home that a purely owned value passes the check.
 
4:24 PM
&a Bar !: 'static wat
I would sort of like to have an integer type that is sure to never be the full bits value (-1 or ~0).
And which optimizes in a similar fashion to the NonZero int types.
I don't think this is possible without rustc intrinsics, or even without LLVM intrinsics. :[
 
@E_net4theWFHjanitor A not-great RFC for that github.com/rust-lang/rfcs/pull/2888
 
@Shepmaster That's a recent one!
 
yep, but (as I commented) it doesn't really seem to go in depth
Also, I agree with the general thrust that we'd want const generics (see also stackoverflow.com/q/27673674/155423)
 
Agreed.
I'll stick to waiting for const generics GATs.
 
4:44 PM
I disagree with this sentiment: crates.io/crates/package
 
Whoah. Do people accidentally write cargo install package?
 
I wouldn't have thought so
 
Maybe some documentation out there has "cargo install package" in it and some distracted folk copy-pasta'd it?
 
I assume Carol would hand it over to someone who actually wanted to put something worthwhile there
 
But that breaks the purpose of the squat in the first place.
 
4:50 PM
It's similar to how example.net, example.org, etc. are reserved
 
@PeterHall it turns out it was created by someone else and then transferred to Carol.
 
@trentcl well, they probably want to test it correct it, and them work on put it on all supported platform ^^ (I hope)
 
5:12 PM
@E_net4theWFHjanitor What don't you like about this?
 
5:51 PM
@Shepmaster It's not that I dislike it, I honestly don't understand it. :s
 
We don't have a built-in Rust syntax to say "trait bound is not met"
Foo : 'a means "the type Foo outlives the lifetime 'a"
 
6:15 PM
@Shepmaster what is the crate that does that? I'm sure there is one
I am looking for the wrong terms I think
 
@PeterHall a crate that... adds syntax?
I'm going to take a wild guess — github.com/dtolnay/trybuild
 
@Shepmaster Adds assertions for implementing traits, or not implementing them
 
I was half right; not implementing them generally means a compiler failure, so something like trybuild.
 
and some logical combinators
 
6
A: How to enforce that a type implements a trait at compile time?

ShepmasterFirst, solve the problem without macros. One solution is to create undocumented private functions that will fail compilation if your conditions aren't met: struct MyType { age: i32, name: String, } fn __assert_send() where MyType: Send, {} fn __assert_sync() where MyType: Sync,...

for the positive cases ^
 
 
2 hours later…
8:13 PM
They are aware of the un-ideal darkmode meta.stackoverflow.com/questions/395949/…
 
9:03 PM
@Shepmaster dark reader do better job
and it's an automatic conversion :p
 
Implementing a board game in Rust, wish me luck dank.
 
 
1 hour later…
10:17 PM
@E_net4theWFHjanitor what board game ?
 
@Stargateur Senet
 
> Senet (or senat[1]) is a board game from ancient Egypt
haha xd
well, if it's free I'm here for testing
 
10:33 PM
@Stargateur I don't need test subjects, I've got R E A L T E S T S
 
11:21 PM
@E_net4theWFHjanitor why don’t you just put it your tabletop simulator
 

« first day (1995 days earlier)      last day (1487 days later) »